Fri, 17 Jun 2005 16:18:49 +0200 | quigley | Multiple subgoals working. | file | diff | annotate |
Fri, 10 Jun 2005 16:15:36 +0200 | quigley | All subgoals sent to the watcher at once now. | 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 |
Sat, 09 Apr 2005 16:27:11 +0200 | paulson | fixed the syntax of infix declarations | 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 |