| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
TWiki is an easy-to-use Web-based collaboration platform.
Mizar TWiki is 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.
Direct access to Mizar Twiki is available in the Mizar Mode. Please use the Mizar TWiki menu to contribute raw examples and ideas in the course of writing Mizar articles, so that other users can learn from your good or not so good experience, and painfully obtained knowledge.
Add a comment to the Mizar TWiki description of an error message errstr.
| [ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
This document was generated by Josef Urban on February 20, 2014 using texi2html 1.82.