Tue, 06 May 1997 15:27:35 +0200 | wenzelm | fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?); | file | diff | annotate |
Tue, 22 Apr 1997 11:37:12 +0200 | wenzelm | removed -norc; | file | diff | annotate |
Sat, 12 Apr 1997 20:02:06 +0200 | wenzelm | tuned comments; | file | diff | annotate |
Tue, 18 Mar 1997 18:20:26 +0100 | wenzelm | asserts $ISABELLE_OUTPUT_DIR; | file | diff | annotate |
Thu, 06 Feb 1997 18:33:50 +0100 | wenzelm | removed getplatform, ISABELLE_OUTPUT_DIR; | file | diff | annotate |
Wed, 29 Jan 1997 15:58:17 +0100 | wenzelm | fixed getplatform call; | file | diff | annotate |
Thu, 09 Jan 1997 17:16:50 +0100 | wenzelm | make all Isabelle systems afresh; | file | diff | annotate |