Re: [mizar] Eddie::MIZ

[Jesse Alama <alama@stanford.edu>]

"M Trybulec" <mtrybulec@yac.com.pl> writes:

> 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.

Doesn't Josef Urban's mizar-mode for emacs already do these things?

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*10: Too many basic sentences in an inference