Re: [mizar] Eddie::MIZ

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

Hi,

Dnia Tue, 9 Jan 2007 15:36:40 +0100 (CET), Josef Urban napisał(a):

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

Well, my first thought was to write an Eclipse plugin.
But after using Eclipse for a while, 
I think it's a bit bloated and slow (at least for what I wanted)...

On the other hand, I had all the necessary modules in place,
so it took me 2 evenings to write this editor...

> Best,
> Josef Urban

Regards,
Michal