🚀 go-pugleaf

I'm sorry for all the users of this newsgroup, but we have some troubles
to send mails (and perhaps not too much to receive some ?).
I would like to send this to Stephen Mark Austin <sma@seg.npl.co.uk>,
but our Mailer-Daemon seems to be on strike. I'll try not to 
repeat this too much.

Thanks for your comprehension.



Dear Steve,

  Actually, if I wanted this request, it was not really to
answer, but to see what kind of questions you wanted us to
answer (both for educational and industrial purposes). That is,
I'm more interested in the results of your request. As you
perhaps read in the news, I have to deal with formal methods
and I don't know yet what I'm going to do.

Sincerely,

	Francois.

-- 
+--------------------------+------------------------------------+
|                          |    E-mail : charlot@lri.lri.fr     |
|     Francois CHARLOT     |             charlot@FRLRI61.BITNET |
|                          |                                    |
|        +-=-+-=-+         |    Tel    : 33 - 1 - 69 41 70 82   |
|                          |    Fax    : 33 - 1 - 69 41 65 86   |
+--------------------------+------------------------------------+
|      ######      **                                           |
|     ##     #         Laboratoire de Recherche en Informatique |
|    ##       #   ##   Batiment 490                             |
|   ##       #   ##    Universite de Paris-Sud                  |
|  ##    ####   ##     91405 ORSAY CEDEX                        |
| ######    ## ##      FRANCE                                   |
|######      ###                                                |
+---------------------------------------------------------------+