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

Re: [mizar] Eddie::MIZ




Hello Michal,

On Tue, 9 Jan 2007, M Trybulec wrote:

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

Not strictly a comment, but a suggestion: how about an Eclipse (www.eclipse.org) plugin for Mizar? I am an Emacs addict myself, but Eclipse seems to have a pretty good momentum as _the_ IDE framework, with lots of features and plugins. Some of that would probably be immediately useful - e.g. pretty good localization, availability on many platforms, in-editor HTML browsing, etc.

Best,
Josef Urban