src/Pure/Isar/toplevel.ML
Sat, 10 Jul 1999 21:58:19 +0200 wenzelm tuned Interrupt msgs;
Sat, 10 Jul 1999 21:43:27 +0200 wenzelm fixed interrupts (eliminated races);
Fri, 21 May 1999 11:46:42 +0200 wenzelm tuned;
Mon, 17 May 1999 21:34:45 +0200 wenzelm cleaned comments;
Fri, 05 Feb 1999 21:03:33 +0100 wenzelm improved msg;
Wed, 03 Feb 1999 16:48:17 +0100 wenzelm comment;
Tue, 01 Dec 1998 14:47:26 +0100 wenzelm excursion: ERROR_MESSAGE;
Sun, 29 Nov 1998 13:17:21 +0100 wenzelm added exception RESTART;
Sat, 21 Nov 1998 12:37:48 +0100 wenzelm print_state hook, obeys Goals.current_goals_markers by default;
Thu, 19 Nov 1998 11:49:41 +0100 wenzelm break: exhibit state stack;
Wed, 18 Nov 1998 11:12:29 +0100 wenzelm exn_message FAIL;
Wed, 18 Nov 1998 10:56:53 +0100 wenzelm export exn_message;
Tue, 17 Nov 1998 14:26:32 +0100 wenzelm BREAK: include state;
Mon, 09 Nov 1998 15:33:48 +0100 wenzelm The Isabelle/Isar toplevel.
less more (0) tip