[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] A. Asperti's offer

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] A. Asperti's offer
From: Piotr Rudnicki <piotr@cs.ualberta.ca>
Date: Mon, 5 Aug 2002 21:15:34 -0600

I am sure that Josef would be of great help for the XML thing.  How
about we insist that one of the MOWGLI project learns enough Mizar to
do something?  

PR

On Mon, Aug 05, 2002 at 10:54:59PM +0200, Freek Wiedijk wrote:
> Josef:
> 
> >I am sorry, but I have decided (for n+1-st time) to finish
> >my PhD in Prague.
> 
> I am sorry too: of course for you personally that is the most
> important thing.  It is very good that you have your
> priorities straight.  My excuses for saying "get Josef!" like
> this here if it's not in your interest.
> 
> Freek

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

Follow-Ups:
- Re: [mizar] A. Asperti's offer
  - From: Freek Wiedijk <freek@cs.kun.nl>

References:
- Re: [mizar] A. Asperti's offer
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
- Re: [mizar] A. Asperti's offer
  - From: Freek Wiedijk <freek@cs.kun.nl>

Prev by Date: Re: [mizar] A. Asperti's offer
Next by Date: Re: [mizar] A. Asperti's offer
Index(es):
- Chronological
- Thread