Sun, 20 Jul 2008 23:06:58 +0200 |
wenzelm |
tty loop: do not report status;
|
file |
diff |
annotate
|
Wed, 16 Jul 2008 16:42:13 +0200 |
wenzelm |
editor model: run interactively for now;
|
file |
diff |
annotate
|
Wed, 16 Jul 2008 16:17:26 +0200 |
wenzelm |
identify: more informative id in Toplevel.debug mode;
|
file |
diff |
annotate
|
Wed, 16 Jul 2008 11:20:24 +0200 |
wenzelm |
export type id with no_id and create_command;
|
file |
diff |
annotate
|
Tue, 15 Jul 2008 15:46:41 +0200 |
wenzelm |
support for command status;
|
file |
diff |
annotate
|
Tue, 15 Jul 2008 11:50:02 +0200 |
wenzelm |
removed obsolete commit_exit;
|
file |
diff |
annotate
|
Mon, 14 Jul 2008 19:57:11 +0200 |
wenzelm |
commit_exit: proper error;
|
file |
diff |
annotate
|
Mon, 14 Jul 2008 17:51:39 +0200 |
wenzelm |
added commit_exit;
|
file |
diff |
annotate
|
Thu, 10 Jul 2008 20:53:50 +0200 |
wenzelm |
added print;
|
file |
diff |
annotate
|
Thu, 10 Jul 2008 20:02:55 +0200 |
wenzelm |
export init_point;
|
file |
diff |
annotate
|
Thu, 10 Jul 2008 18:02:34 +0200 |
wenzelm |
added Isar.linear_undo;
|
file |
diff |
annotate
|
Thu, 10 Jul 2008 17:47:40 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 10 Jul 2008 17:43:02 +0200 |
wenzelm |
tty interaction: do not move point after error;
|
file |
diff |
annotate
|
Thu, 10 Jul 2008 17:26:23 +0200 |
wenzelm |
provide old-style undo operation (still unused);
|
file |
diff |
annotate
|
Thu, 10 Jul 2008 11:17:16 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
Tue, 08 Jul 2008 21:15:23 +0200 |
wenzelm |
global commands: explicit graph;
|
file |
diff |
annotate
|
Wed, 02 Jul 2008 16:40:15 +0200 |
wenzelm |
command: always keep transition, not just as initial status;
|
file |
diff |
annotate
|
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
|