| Sat, 14 Jan 2006 17:14:06 +0100 | wenzelm | sane ERROR handling; | file | diff | annotate |
| Tue, 16 Aug 2005 13:42:44 +0200 | wenzelm | back: removed ill-defined '!' option; | file | diff | annotate |
| Wed, 13 Jul 2005 16:07:36 +0200 | wenzelm | export previous; | file | diff | annotate |
| Mon, 20 Jun 2005 22:14:04 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Fri, 05 May 2000 22:09:41 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Tue, 05 Oct 1999 15:35:48 +0200 | wenzelm | clear: int argument; | file | diff | annotate |
| Thu, 26 Aug 1999 19:01:22 +0200 | wenzelm | back: recur flag; | file | diff | annotate |
| Tue, 06 Jul 1999 21:04:37 +0200 | wenzelm | removed nesting (unused); | file | diff | annotate |
| Fri, 21 May 1999 11:39:47 +0200 | wenzelm | adapted to History changes; | file | diff | annotate |
| Wed, 17 Mar 1999 13:39:44 +0100 | wenzelm | added apply_cond_open; | file | diff | annotate |
| Sat, 21 Nov 1998 12:17:18 +0100 | wenzelm | added undos, redos; | file | diff | annotate |
| Mon, 09 Nov 1998 15:33:32 +0100 | wenzelm | Histories of proof states, with undo / redo and prev / back. | file | diff | annotate |