Re: lp

To: Boutheina Chetali <Boutheina.Chetali@loria.fr>
Subject: Re: lp
From: Stephen J. Garland <garland@larch.lcs.mit.edu>
Date: Fri, 03 Dec 93 08:54:23 -0500
Cc: larch-interest
Delivery-Date: Fri, 03 Dec 93 06:02:19 -0800
In-Reply-To: Your message of Fri, 03 Dec 93 13:36:46 +0100. <199312031236.NAA00287@morey.loria.fr>

There is no version of the Larch Prover for a Macintosh.

Reference(s):