Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4); Thu, 31 Dec 1992 12:59:00 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA16199; Thu, 31 Dec 92 04:41:48 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA16194; Thu, 31 Dec 92 04:41:43 -0800 Received: from LocalHost.cs.ucla.edu by maui.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA28115; Thu, 31 Dec 92 04:41:14 -0800 Message-Id: <9212311241.AA28115@maui.cs.ucla.edu> To: info-hol@edu.uidaho.cs.ted (INFO-HOL mailing list) Subject: QCONV Date: Thu, 31 Dec 92 04:41:13 PST From: chou@edu.ucla.cs The QCONV's in the system file ml/conv.ml seem rather useful when one wants to do some serious conversion hacking. Why not make them available to users? Currently if you want to use them, you'll have to re-define them yourself because the relevant codes in conv.ml are internalized by a section. - Ching Tsun