Mon, 24 May 1999 21:56:14 +0200 |
wenzelm |
added keyword classification;
|
file |
diff |
annotate
|
Fri, 21 May 1999 11:40:15 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 12 May 1999 16:54:31 +0200 |
wenzelm |
rearranged some modules;
|
file |
diff |
annotate
|
Wed, 17 Mar 1999 13:39:21 +0100 |
wenzelm |
added (improper_)command;
|
file |
diff |
annotate
|
Tue, 09 Mar 1999 12:20:22 +0100 |
wenzelm |
Present.theory_source;
|
file |
diff |
annotate
|
Fri, 05 Feb 1999 21:06:24 +0100 |
wenzelm |
more robust handling of theory context;
|
file |
diff |
annotate
|
Thu, 04 Feb 1999 18:16:22 +0100 |
wenzelm |
leave theory context after load_thy;
|
file |
diff |
annotate
|
Wed, 03 Feb 1999 20:56:29 +0100 |
wenzelm |
made SML/NJ happy;
|
file |
diff |
annotate
|
Wed, 03 Feb 1999 17:20:09 +0100 |
wenzelm |
removed load;
|
file |
diff |
annotate
|
Tue, 12 Jan 1999 17:19:13 +0100 |
wenzelm |
tuned msg;
|
file |
diff |
annotate
|
Tue, 12 Jan 1999 15:19:09 +0100 |
wenzelm |
tuned msg;
|
file |
diff |
annotate
|
Sun, 29 Nov 1998 13:19:48 +0100 |
wenzelm |
tuned welcome msg;
|
file |
diff |
annotate
|
Tue, 24 Nov 1998 12:00:05 +0100 |
wenzelm |
added commands;
|
file |
diff |
annotate
|
Wed, 18 Nov 1998 10:59:20 +0100 |
wenzelm |
load;
|
file |
diff |
annotate
|
Mon, 16 Nov 1998 11:06:31 +0100 |
wenzelm |
tuned names;
|
file |
diff |
annotate
|
Mon, 09 Nov 1998 15:34:05 +0100 |
wenzelm |
The global Isabelle/Isar outer syntax.
|
file |
diff |
annotate
|