src/HOL/Tools/ATP/watcher.ML
Thu, 18 Aug 2005 13:09:21 +0200 paulson no need for TPTP2X unless SPASS is used
Wed, 13 Jul 2005 16:07:26 +0200 wenzelm open ReconPrelim Recon_Transfer;
Mon, 11 Jul 2005 16:42:42 +0200 quigley Fixed some problems with the signal handler.
Mon, 04 Jul 2005 15:51:56 +0200 quigley Streamlined the signal handler in watcher.ML
Fri, 24 Jun 2005 16:18:41 +0200 paulson tidying
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.
Tue, 21 Jun 2005 13:34:24 +0200 paulson VAMPIRE_HOME, helper_path and various stylistic tweaks
Mon, 20 Jun 2005 18:39:24 +0200 quigley Added VampCommunication.ML.
Mon, 20 Jun 2005 15:55:44 +0200 paulson using TPTP2X_HOME; indentation, etc
Fri, 10 Jun 2005 16:15:36 +0200 quigley All subgoals sent to the watcher at once now.
Sun, 05 Jun 2005 11:31:23 +0200 wenzelm File.platform_path vs. File.shell_path;
Thu, 02 Jun 2005 15:54:11 +0200 quigley Added time lime (60 secs) to Spass calls.
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
Fri, 27 May 2005 12:12:05 +0200 paulson Now uses File.write and File.append
Thu, 26 May 2005 18:34:23 +0200 paulson further tweaks to the SPASS setup
Thu, 26 May 2005 16:50:07 +0200 paulson trying to set up portable calling sequences for SPASS and tptp2X
Tue, 24 May 2005 10:23:24 +0200 paulson A new structure and reduced indentation
Mon, 23 May 2005 00:18:51 +0200 quigley Moved some of the clausify functions from ATP/res_clasimpset.ML to res_axioms.ML.
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.
Tue, 19 Apr 2005 18:08:44 +0200 paulson more tidying of libraries in Reconstruction
Wed, 13 Apr 2005 09:48:41 +0200 paulson new signalling primmitives for sml/nj compatibility
Fri, 08 Apr 2005 18:43:39 +0200 paulson Reconstruction code, now packaged to avoid name clashes
Thu, 07 Apr 2005 18:35:21 +0200 quigley Changed prob1.dfg to prob_1.dfg
Wed, 06 Apr 2005 12:01:37 +0200 quigley watcher.ML and watcher.sig changed. Debug files now write to tmp.
Mon, 04 Apr 2005 18:39:45 +0200 quigley CVSfj
Thu, 31 Mar 2005 19:29:26 +0200 quigley *** empty log message ***
less more (0) tip