Received: from leopard.cs.byu.edu (leopard.cs.byu.edu [128.187.2.182]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id DAA25446; Thu, 18 Jan 1996 03:17:26 +0200 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA051573744; Wed, 17 Jan 1996 17:09:04 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: list Received: from tango.rahul.net by leopard.cs.byu.edu with SMTP (1.37.109.15/16.2) id AA051493741; Wed, 17 Jan 1996 17:09:01 -0700 Received: from bolero.rahul.net by tango.rahul.net with SMTP id AA06699 (5.67b8/IDA-1.5 for ); Wed, 17 Jan 1996 16:08:53 -0800 Received: from bedlam.rahul.net by bolero.rahul.net with SMTP id AA03121 (5.67b8/IDA-1.5); Wed, 17 Jan 1996 16:08:50 -0800 Received: by bedlam.rahul.net id m0tchtK-0003kbC (Debian /\oo/\ Smail3.1.29.1 #29.33); Wed, 17 Jan 96 16:07 PST Message-Id: Date: Wed, 17 Jan 96 16:07 PST From: Bill Hogan To: Kelly Hall Cc: info-hol@leopard.cs.byu.edu Subject: New SML, old hol90 problem In-Reply-To: <199601171649.AA185237393@puma.cs.byu.edu> References: <199601171649.AA185237393@puma.cs.byu.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII "KH" == Kelly Hall writes: KH> Hi Folks, KH> I'm still having problems getting hol90 to build even though I've just KH> tried it with the newest SML/NJ, 108.21. At this point I'm still KH> unsure where the problem lies: sml or hol90. ... My understanding (or lack thereof) is that hol90.7 requires sml-nj version 0.93 exactly, and that a version of hol (hol100?) which will compile under sml-nj version 108.x is forthcoming. Bill