| 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:02:46 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Tue, 05 Oct 1999 15:28:37 +0200 | wenzelm | clear: int arg; | file | diff | annotate |
| Fri, 21 May 1999 11:36:56 +0200 | wenzelm | optional limit; | file | diff | annotate |
| Tue, 16 Jun 1998 18:37:11 +0200 | wenzelm | Histories of values, with undo and redo; | file | diff | annotate |