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 |