Re: [mizar] difference between mizar-forum and mizar user service

[Adam Naumowicz <adamn@math.uwb.edu.pl>]

Hi,

On Tue, 15 Feb 2005, Jesse Alama wrote:

> What's the difference between the mizar-forum mailing list and the
> Mizar User Service?  (My previous email was sent to the mizar-forum
> list, but I wondered whether I should send it to the Mizar User
> Service address instead.)

The Mizar User Service is intended for rather individual problem advisory.
If users have questions that may be of interest to others as well, like in
your case, we strongly encourage them to continue the discussion through
mizar-forum, so a wider part of the community can benefit from it.

Best,

Adam Naumowicz

======================================================================
Department of Applied Logic            fax. +48 (85) 745-7662
Institute of Computer Science          tel. +48 (85) 745-7559 (office)
University of Bialystok                e-mail: adamn@mizar.org
Sosnowa 64, 15-887 Bialystok, Poland   http://math.uwb.edu.pl/~adamn/
======================================================================