Re: [mizar] Mizar Twiki

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

Szanowny Panie Urban:

(I am sorry that the non native Polish have no clue what the above
address really means.)

Dear Josef:

I appreciate your effort in trying to build a twiki for Mizar but I am
afraid it will not fare well.  Foremost, we should use the means of
communication that are available already, i.e. the doveloper-forum and
mizar-forum mailing lists.

It seems  that there is some discussion that is done in private while
it should be a public one. e.g. a lot of e-mail exchanges between
Freek and AT about Mizar from a year ago or so.  The entire community
would have benefitted a lot if they talked over the mizar-forum forum.

Recently, Robert Solovay and AT had some e-mail exchanges that I think
properly belong to the mizar-forum as their correspodence is of
general interrest.

Let us try to use the means of communication that are already
available to us.  The twiki thing is proably quite useful for
reporting summaries of private dscussions.

Cheers,

PR


On Sun, Jul 07, 2002 at 09:23:14PM +0200, Josef Urban wrote:
> 
> 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

-- 
Piotr Rudnicki              CompSci, University of Alberta, Edmonton, Canada
email: piotr@cs.ualberta.ca                 http://web.cs.ualberta.ca/~piotr