| Thu, 26 May 1994 13:45:43 +0200 |
clasohm |
changed syntax of use_string
|
file |
diff |
annotate
|
| Thu, 19 May 1994 14:06:37 +0200 |
clasohm |
use_thy now uses use_string instead of creating a temporary file
|
file |
diff |
annotate
|
| Sun, 24 Apr 1994 11:24:12 +0200 |
clasohm |
fixed a small bug
|
file |
diff |
annotate
|
| Sun, 24 Apr 1994 11:15:14 +0200 |
clasohm |
changed convention for theory file names: they now have to consist of the
|
file |
diff |
annotate
|
| Wed, 16 Feb 1994 09:22:15 +0100 |
clasohm |
moved 'unlink ".tmp.ML"' away from 'use ".tmp.ML"' to try to fix a bug with SML
|
file |
diff |
annotate
|
| Wed, 02 Feb 1994 11:15:22 +0100 |
clasohm |
made error message "file not found" more informative
|
file |
diff |
annotate
|
| Mon, 10 Jan 1994 16:58:32 +0100 |
clasohm |
added a check for existence of a temporary file before removing it
|
file |
diff |
annotate
|
| 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
|