Tue, 01 Dec 1998 14:47:26 +0100 | wenzelm | excursion: ERROR_MESSAGE; | file | diff | annotate |
Sun, 29 Nov 1998 13:17:21 +0100 | wenzelm | added exception RESTART; | file | diff | annotate |
Sat, 21 Nov 1998 12:37:48 +0100 | wenzelm | print_state hook, obeys Goals.current_goals_markers by default; | file | diff | annotate |
Thu, 19 Nov 1998 11:49:41 +0100 | wenzelm | break: exhibit state stack; | file | diff | annotate |
Wed, 18 Nov 1998 11:12:29 +0100 | wenzelm | exn_message FAIL; | file | diff | annotate |
Wed, 18 Nov 1998 10:56:53 +0100 | wenzelm | export exn_message; | file | diff | annotate |
Tue, 17 Nov 1998 14:26:32 +0100 | wenzelm | BREAK: include state; | file | diff | annotate |
Mon, 09 Nov 1998 15:33:48 +0100 | wenzelm | The Isabelle/Isar toplevel. | file | diff | annotate |