src/HOL/Tools/ATP/SpassCommunication.ML
Mon, 11 Jul 2005 16:42:42 +0200 quigley Fixed some problems with the signal handler.
Wed, 22 Jun 2005 20:26:31 +0200 quigley Temporarily removed Rewrite from the translation code so that parsing with work on lists of numbers.
Tue, 21 Jun 2005 23:44:18 +0200 quigley Integrated vampire lemma code.
Mon, 20 Jun 2005 18:39:24 +0200 quigley Added VampCommunication.ML.
Fri, 10 Jun 2005 16:15:36 +0200 quigley All subgoals sent to the watcher at once now.
Sun, 05 Jun 2005 11:31:22 +0200 wenzelm File.platform_path;
Tue, 31 May 2005 12:42:36 +0200 quigley Fixed array containing clasimpset rules. Added flags to turn on and off reconstruction and full spass
Tue, 03 May 2005 14:27:21 +0200 quigley Replaced reference to SPASS with general one - set SPASS_HOME in settings file.
Thu, 21 Apr 2005 15:05:24 +0200 paulson added hearder lines and deleted some redundant material
Thu, 21 Apr 2005 10:05:06 +0200 paulson improved SML/NJ compatibility, etc.
Wed, 20 Apr 2005 18:01:50 +0200 quigley Corrected the problem with the ATP directory.
Fri, 08 Apr 2005 18:43:39 +0200 paulson Reconstruction code, now packaged to avoid name clashes
Wed, 06 Apr 2005 12:01:37 +0200 quigley watcher.ML and watcher.sig changed. Debug files now write to tmp.
Thu, 31 Mar 2005 19:29:26 +0200 quigley *** empty log message ***
less more (0) tip