src/Pure/Isar/isar.ML
Sun, 20 Jul 2008 23:06:58 +0200 wenzelm tty loop: do not report status;
Wed, 16 Jul 2008 16:42:13 +0200 wenzelm editor model: run interactively for now;
Wed, 16 Jul 2008 16:17:26 +0200 wenzelm identify: more informative id in Toplevel.debug mode;
Wed, 16 Jul 2008 11:20:24 +0200 wenzelm export type id with no_id and create_command;
Tue, 15 Jul 2008 15:46:41 +0200 wenzelm support for command status;
Tue, 15 Jul 2008 11:50:02 +0200 wenzelm removed obsolete commit_exit;
Mon, 14 Jul 2008 19:57:11 +0200 wenzelm commit_exit: proper error;
Mon, 14 Jul 2008 17:51:39 +0200 wenzelm added commit_exit;
Thu, 10 Jul 2008 20:53:50 +0200 wenzelm added print;
Thu, 10 Jul 2008 20:02:55 +0200 wenzelm export init_point;
Thu, 10 Jul 2008 18:02:34 +0200 wenzelm added Isar.linear_undo;
Thu, 10 Jul 2008 17:47:40 +0200 wenzelm tuned;
Thu, 10 Jul 2008 17:43:02 +0200 wenzelm tty interaction: do not move point after error;
Thu, 10 Jul 2008 17:26:23 +0200 wenzelm provide old-style undo operation (still unused);
Thu, 10 Jul 2008 11:17:16 +0200 wenzelm misc tuning;
Tue, 08 Jul 2008 21:15:23 +0200 wenzelm global commands: explicit graph;
Wed, 02 Jul 2008 16:40:15 +0200 wenzelm command: always keep transition, not just as initial status;
Tue, 01 Jul 2008 21:30:08 +0200 wenzelm replaced datatype kind by OuterKeyword.category;
Tue, 01 Jul 2008 18:38:44 +0200 wenzelm explicit identification of toplevel commands, with status etc.;
Mon, 14 Apr 2008 14:28:47 +0200 wenzelm Isar.toplevel_loop: separate init/welcome flag;
Thu, 10 Apr 2008 13:44:41 +0200 wenzelm replaced Isar loop variants by generic toplevel_loop;
Thu, 10 Apr 2008 13:24:22 +0200 wenzelm The global Isabelle/Isar state and main read-eval-print loop.
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Sat, 01 Jul 2000 19:42:25 +0200 wenzelm removed help;
Fri, 05 May 2000 22:09:41 +0200 wenzelm GPLed;
Wed, 30 Jun 1999 12:22:45 +0200 wenzelm sync;
Sat, 15 May 1999 16:15:54 +0200 wenzelm tuned;
Wed, 03 Feb 1999 16:48:02 +0100 wenzelm removed load;
Tue, 24 Nov 1998 11:59:35 +0100 wenzelm Isabelle/Isar main interface.
less more (0) tip