Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Sat, 17 Oct 1992 01:49:03 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA03805; Fri, 16 Oct 92 17:39:01 -0700 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 AA03800; Fri, 16 Oct 92 17:38:52 -0700 Received: from LocalHost.cs.ucla.edu by maui.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA26936; Fri, 16 Oct 92 17:37:57 -0700 Message-Id: <9210170037.AA26936@maui.cs.ucla.edu> To: info-hol@edu.uidaho.cs.ted Cc: chou@edu.ucla.cs Subject: Re: 'definitions' takes a long time! In-Reply-To: Your message of "Fri, 16 Oct 92 09:51:07 BST." <27825.9210160851@frogland.inmos.co.uk> Date: Fri, 16 Oct 92 17:37:55 PDT From: chou@edu.ucla.cs I wonder whether there is any way to speed up the loading of theories if I don't care about the saving of disk space. I have plenty of space to spare (about 100M) but really hope theories would load faster since I am constantly changing my definitions. - Ching Tsun