Wed, 05 Jan 1994 19:27:19 +0100 |
nipkow |
shortened msg
|
file |
diff |
annotate
|
Thu, 30 Dec 1993 21:04:53 +0100 |
clasohm |
added "Reading thy-File" message
|
file |
diff |
annotate
|
Wed, 22 Dec 1993 19:01:27 +0100 |
clasohm |
fixed a bug in update/next_level which occured when a child wasn't loaded
|
file |
diff |
annotate
|
Thu, 25 Nov 1993 13:54:21 +0100 |
clasohm |
fixed a bug in get_filenames, changed output of use_thy
|
file |
diff |
annotate
|
Tue, 16 Nov 1993 19:50:20 +0100 |
clasohm |
added loaded_thys to signature and removed list_/set_loaded
|
file |
diff |
annotate
|
Tue, 16 Nov 1993 14:23:19 +0100 |
clasohm |
moved call of store_theory to end of use t.thy; use t.ML;
|
file |
diff |
annotate
|
Tue, 26 Oct 1993 22:24:20 +0100 |
clasohm |
corrected some spelling mistakes;
|
file |
diff |
annotate
|
Fri, 22 Oct 1993 22:17:25 +0100 |
clasohm |
removed a bug that occured when a path was specified for use_thy's parameter
|
file |
diff |
annotate
|
Fri, 22 Oct 1993 13:42:51 +0100 |
clasohm |
changes in Readthy:
|
file |
diff |
annotate
|
Thu, 16 Sep 1993 12:20:38 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|