lp

To: larch-interest
Subject: lp
From: Boutheina Chetali <Boutheina.Chetali@loria.fr>
Date: Fri, 3 Dec 1993 13:36:46 +0100 (MET)
Delivery-Date: Fri, 03 Dec 93 05:39:33 -0800

A question: Is there a version of the Larch prouver for Macintoch?

Boutheina Chetali
---------------------------------------
CRIN-INRIA Lorraine                   | 
Campus scientifique -                 | 
615 rue du jardin botanique - BP 101  |
54602 VILLERS LES NANCY CEDEX-France  |       
E-mail: chetali@loria.fr              |
tel: 83 59 20 45                      |
--------------------------------------

Follow-Up(s):

Re: lp

From: Stephen J. Garland <garland@larch.lcs.mit.edu>

Prev: Re: lp
Next: ANSI Standards for formal description techniques
Index: Larch archive index