Thu, 08 Sep 2005 13:24:19 +0200 |
paulson |
yet more tidying of Isabelle-ATP link
|
file |
diff |
annotate
|
Tue, 21 Jun 2005 13:34:24 +0200 |
paulson |
VAMPIRE_HOME, helper_path and various stylistic tweaks
|
file |
diff |
annotate
|
Tue, 31 May 2005 17:52:10 +0200 |
paulson |
minor tidying and sml/nj compatibility
|
file |
diff |
annotate
|
Tue, 24 May 2005 10:23:24 +0200 |
paulson |
A new structure and reduced indentation
|
file |
diff |
annotate
|
Tue, 03 May 2005 14:27:21 +0200 |
quigley |
Replaced reference to SPASS with general one - set SPASS_HOME in settings file.
|
file |
diff |
annotate
|
Thu, 21 Apr 2005 15:05:24 +0200 |
paulson |
added hearder lines and deleted some redundant material
|
file |
diff |
annotate
|
Tue, 19 Apr 2005 18:08:44 +0200 |
paulson |
more tidying of libraries in Reconstruction
|
file |
diff |
annotate
|
Fri, 15 Apr 2005 18:16:05 +0200 |
paulson |
yet more tidying up: removal of some references to Main
|
file |
diff |
annotate
|
Wed, 13 Apr 2005 09:48:41 +0200 |
paulson |
new signalling primmitives for sml/nj compatibility
|
file |
diff |
annotate
|
Tue, 12 Apr 2005 11:08:25 +0200 |
paulson |
tweaks mainly to achieve sml/nj compatibility
|
file |
diff |
annotate
|
Mon, 11 Apr 2005 16:25:31 +0200 |
paulson |
removal of Main and other tidying up
|
file |
diff |
annotate
|
Fri, 08 Apr 2005 18:43:39 +0200 |
paulson |
Reconstruction code, now packaged to avoid name clashes
|
file |
diff |
annotate
|
Thu, 31 Mar 2005 19:29:26 +0200 |
quigley |
*** empty log message ***
|
file |
diff |
annotate
|