On Fri, Mar 14, 2003 at 07:26:58PM +0100, Josef Urban wrote: > I hate to open this problem, especially after arguing too many times that > Mizar should be GPL-ed, but I need to add some license info to MPTP right > now. Mizar should have been GPL-ed long time ago, I am in favour. -- Piotr Rudnicki CompSci, University of Alberta, Edmonton, Canada email: piotr@cs.ualberta.ca http://web.cs.ualberta.ca/~piotr