[mizar] Re: Eddie::MIZ

[Jesse Alama <alama@stanford.edu>]

Josef Urban <urban@ktilinux.ms.mff.cuni.cz> writes:

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

I'll check out eclipse.  I've also had the idea of writing a set of
mizar tool for emacs using CEDET (http://cedet.sourceforge.net); a
comparison of the possibilities of using CEDET and eclipse would be
nice.

Jesse

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