[mizar] Eddie::MIZ

["M Trybulec" <mtrybulec@yac.com.pl>]

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