home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / specific / 372 < prev    next >
Encoding:
Internet Message Format  |  1992-08-14  |  2.1 KB
  1. Path: sparky!uunet!mcsun!corton!lri!sun3!charlot
  2. From: charlot@sun3.lri.fr (Francois Charlot)
  3. Newsgroups: comp.specification
  4. Subject: For Steve Austin - Sorry for the others
  5. Message-ID: <1992Aug14.192448@sun3.lri.fr>
  6. Date: 14 Aug 92 17:24:48 GMT
  7. Sender: news@lri.fr
  8. Reply-To: charlot@sun3.lri.fr (Francois Charlot)
  9. Organization: LRI - Univ. Paris-Sud / CNRS URA 410
  10. Lines: 39
  11. Nntp-Posting-Host: sun3
  12.  
  13. I'm sorry for all the users of this newsgroup, but we have some troubles
  14. to send mails (and perhaps not too much to receive some ?).
  15. I would like to send this to Stephen Mark Austin <sma@seg.npl.co.uk>,
  16. but our Mailer-Daemon seems to be on strike. I'll try not to 
  17. repeat this too much.
  18.  
  19. Thanks for your comprehension.
  20.  
  21.  
  22.  
  23. Dear Steve,
  24.  
  25.   Actually, if I wanted this request, it was not really to
  26. answer, but to see what kind of questions you wanted us to
  27. answer (both for educational and industrial purposes). That is,
  28. I'm more interested in the results of your request. As you
  29. perhaps read in the news, I have to deal with formal methods
  30. and I don't know yet what I'm going to do.
  31.  
  32. Sincerely,
  33.  
  34.     Francois.
  35.  
  36. -- 
  37. +--------------------------+------------------------------------+
  38. |                          |    E-mail : charlot@lri.lri.fr     |
  39. |     Francois CHARLOT     |             charlot@FRLRI61.BITNET |
  40. |                          |                                    |
  41. |        +-=-+-=-+         |    Tel    : 33 - 1 - 69 41 70 82   |
  42. |                          |    Fax    : 33 - 1 - 69 41 65 86   |
  43. +--------------------------+------------------------------------+
  44. |      ######      **                                           |
  45. |     ##     #         Laboratoire de Recherche en Informatique |
  46. |    ##       #   ##   Batiment 490                             |
  47. |   ##       #   ##    Universite de Paris-Sud                  |
  48. |  ##    ####   ##     91405 ORSAY CEDEX                        |
  49. | ######    ## ##      FRANCE                                   |
  50. |######      ###                                                |
  51. +---------------------------------------------------------------+
  52.