From maeder at tzi.de Tue Aug 2 21:33:03 2005 From: maeder at tzi.de (Christian Maeder) Date: Tue, 02 Aug 2005 21:33:03 +0200 Subject: [Hets-devel] ATC/DevGraph Message-ID: <42EFCA6F.9080306@tzi.de> die Datei ATC/DevGraph.der.hs muss beim n?chsten Update manuell gel?scht werden. Gru? Christian From till at informatik.uni-bremen.de Wed Aug 3 10:43:00 2005 From: till at informatik.uni-bremen.de (Till Mossakowski) Date: Wed, 03 Aug 2005 10:43:00 +0200 Subject: [Hets-devel] ATC/DevGraph In-Reply-To: <42EFCA6F.9080306@tzi.de> References: <42EFCA6F.9080306@tzi.de> Message-ID: <42F08394.6000701@informatik.uni-bremen.de> Because of a larger refactoring that annotates sentences with their proofs, you have to delete ATC/DevGraph.der.hs AND ATC/DevGraph.hs and THEN make an update. Greetings, Till Christian Maeder wrote: > die Datei ATC/DevGraph.der.hs muss beim n?chsten Update manuell gel?scht > werden. > > Gru? Christian > _______________________________________________ > Hets-devel mailing list > Hets-devel at mailhost.informatik.uni-bremen.de > http://www.informatik.uni-bremen.de/mailman/listinfo/hets-devel -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till at tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till