| Fri, 09 Jan 2009 23:33:59 +0100 | wenzelm | added running task markup; | file | diff | annotate |
| Tue, 06 Jan 2009 21:17:37 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 05 Jan 2009 00:12:49 +0100 | wenzelm | simplified tty model -- back to plain list history, which is independent of editor model; | file | diff | annotate |
| Fri, 02 Jan 2009 16:21:10 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 02 Jan 2009 15:44:59 +0100 | wenzelm | Isar.command: plain Position.id; | file | diff | annotate |
| Sat, 20 Sep 2008 21:05:41 +0200 | wenzelm | made SML/NJ happy; | file | diff | annotate |
| Fri, 19 Sep 2008 21:00:47 +0200 | wenzelm | moved Isar editor commands from isar_syn.ML to isar.ML; | file | diff | annotate |
| 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 |