Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 14 May 1993 16:44:00 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA20848; Fri, 14 May 93 08:35:20 -0700 Sender: info-hol-request@ted.cs.uidaho.edu Errors-To: info-hol-request@ted.cs.uidaho.edu Precedence: bulk Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA20843; Fri, 14 May 93 08:35:13 -0700 Received: from albatross.cl.cam.ac.uk (user jvt (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.5) to cl; Fri, 14 May 1993 16:34:40 +0100 Received: by albatross.cl.cam.ac.uk (4.1/SMI-3.0DEV3) id AA05625; Fri, 14 May 93 16:34:34 BST Date: Fri, 14 May 93 16:34:34 BST From: John.Van-Tassel@cl.cam.ac.uk Message-Id: <9305141534.AA05625@albatross.cl.cam.ac.uk> To: info-hol@ted.cs.uidaho.edu Subject: HOL profiling I have put some profiling utilities for AKCL-based versions of HOL in the Cambridge contrib FTP area. They reside in the directory AKCL-profiling. 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 |