[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] Eddie::MIZ



Hello everybody,

I recently wrote an editor for Mizar articles -
if you want to try it out, it can be downloaded from
http://www.yac.com.pl/download.ymk.en.html

Version 0.1 includes:
- a fully functional text editor (multi-level undo/redo, search/replace with regular expressions, column blocks, etc.),
- syntax highlighting,
- running the verifier,
- running any of the detectors (irrelevant inferences, unused labels, etc.),
- running all detectors,
- commenting/uncommenting blocks,
- right margin set to 79 characters.

But Windows only...

Any comments appreciated (although I'll be on vacation the next 2 weeks).

Regards,
Michal Trybulec