Tue, 01 Jul 2008 21:30:08 +0200 |
wenzelm |
replaced datatype kind by OuterKeyword.category;
|
file |
diff |
annotate
|
Tue, 01 Jul 2008 18:38:44 +0200 |
wenzelm |
explicit identification of toplevel commands, with status etc.;
|
file |
diff |
annotate
|
Mon, 14 Apr 2008 14:28:47 +0200 |
wenzelm |
Isar.toplevel_loop: separate init/welcome flag;
|
file |
diff |
annotate
|
Thu, 10 Apr 2008 13:44:41 +0200 |
wenzelm |
replaced Isar loop variants by generic toplevel_loop;
|
file |
diff |
annotate
|
Thu, 10 Apr 2008 13:24:22 +0200 |
wenzelm |
The global Isabelle/Isar state and main read-eval-print loop.
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Sat, 01 Jul 2000 19:42:25 +0200 |
wenzelm |
removed help;
|
file |
diff |
annotate
|
Fri, 05 May 2000 22:09:41 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Wed, 30 Jun 1999 12:22:45 +0200 |
wenzelm |
sync;
|
file |
diff |
annotate
|
Sat, 15 May 1999 16:15:54 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 03 Feb 1999 16:48:02 +0100 |
wenzelm |
removed load;
|
file |
diff |
annotate
|
Tue, 24 Nov 1998 11:59:35 +0100 |
wenzelm |
Isabelle/Isar main interface.
|
file |
diff |
annotate
|