Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <17700-0@swan.cl.cam.ac.uk>; Thu, 23 Jan 1992 12:24:59 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA28133; Thu, 23 Jan 92 04:10:46 -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 AA28129; Thu, 23 Jan 92 04:10:34 -0800 Received: from guillemot.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-6.0) to cl id <17238-0@swan.cl.cam.ac.uk>; Thu, 23 Jan 1992 12:03:30 +0000 To: John.Van-Tassel@uk.ac.cam.cl Cc: chou@edu.ucla.cs, info-hol@edu.uidaho.cs.ted Subject: Re: AKCL-1-599 -> AKCL-1-605 In-Reply-To: Your message of Thu, 23 Jan 92 01:26:56 +0000. <9201230126.AA27199@scaup.cl.cam.ac.uk> Date: Thu, 23 Jan 92 12:03:23 +0000 From: Tom.Melham@uk.ac.cam.cl Message-Id: <"swan.cl.ca.244:23.00.92.12.03.34"@cl.cam.ac.uk> > Any compiled files need to be rebuild (.l -> .o, and .ml -> _ml.o). The > theory files are OK (as long as you haven't switched HOL versions!). I might add that the Makefile is set up so that "make clobber" removes all object code and theory files, but "make clean" removes only object code, leaving theoryt files intact. Tom