Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <26353-0@swan.cl.cam.ac.uk>; Fri, 28 Feb 1992 11:46:41 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA12583; Fri, 28 Feb 92 03:31:59 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA12491; Fri, 28 Feb 92 03:31:49 -0800 Received: from cormorant.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-6.0) to cl id <26063-0@swan.cl.cam.ac.uk>; Fri, 28 Feb 1992 11:34:07 +0000 Received: by cormorant.cl.cam.ac.uk (4.1/SMI-3.0DEV3) id AA00967; Fri, 28 Feb 92 11:34:04 GMT Date: Fri, 28 Feb 92 11:34:04 GMT From: John.Van-Tassel@uk.ac.cam.cl Message-Id: <9202281134.AA00967@cormorant.cl.cam.ac.uk> To: info-hol@edu.uidaho.cs.ted Subject: Quotation parser A problem with the HOL quotation parser in Common Lisp versions of the system was causing things like: "\(x,y):num#num. (x,y)" to not parse. This has been fixed in the next release of the system. JVT ------------------------------------------------------------------------------ John Van Tassel | Tel: +44-223-334729 Univ. of Cambridge | Fax: +44-223-334678 Computer Laboratory | Pembroke Street | Email: jvt@cl.cam.ac.uk Cambridge CB2 3QG | England |