Hi, Dnia Tue, 09 Jan 2007 07:40:45 -0800, Jesse Alama napisał(a): > "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 > > Doesn't Josef Urban's mizar-mode for emacs already do these things? Well, I'm no Emacs addict - quite the contrary... :-) > Jesse Regards, Michal