[mizar] Mizar Twiki

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

TWiki for Mizar was established at 
http://alioth.uwb.edu.pl/twiki/bin/view/Mizar . 
It is intended to help the Mizar users and developers with documenting 
Mizar, reporting bugs, discussing new features or projects, etc.  

For general TWiki info, see http://twiki.org , the place to discuss Mizar 
Twiki is at http://alioth.uwb.edu.pl/twiki/bin/view/Mizar/MizarTwiki.

Direct access to Mizar Twiki has been added in the last CVS version of 
mizar.el 
(http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/mizarmode/mizar.el). Use it 
to contribute raw examples and ideas in the course of writing Mizar 
articles.

Regards,
Josef Urban