Sat, 14 Jan 2006 17:15:24 +0100 * ML/Isar: simplified treatment of user-level errors;
wenzelm [Sat, 14 Jan 2006 17:15:24 +0100] rev 18686
* ML/Isar: simplified treatment of user-level errors;
Sat, 14 Jan 2006 17:14:18 +0100 sane ERROR vs. TOPLEVEL_ERROR handling;
wenzelm [Sat, 14 Jan 2006 17:14:18 +0100] rev 18685
sane ERROR vs. TOPLEVEL_ERROR handling; added program;
Sat, 14 Jan 2006 17:14:17 +0100 added Isar.toplevel;
wenzelm [Sat, 14 Jan 2006 17:14:17 +0100] rev 18684
added Isar.toplevel;
Sat, 14 Jan 2006 17:14:16 +0100 Output.error_msg;
wenzelm [Sat, 14 Jan 2006 17:14:16 +0100] rev 18683
Output.error_msg;
Sat, 14 Jan 2006 17:14:15 +0100 removed special ERROR handling stuff (transform_error etc.);
wenzelm [Sat, 14 Jan 2006 17:14:15 +0100] rev 18682
removed special ERROR handling stuff (transform_error etc.); moved plain ERROR/error to library.ML; added toplevel_errors, exception TOPLEVEL_ERROR; error_msg, panic, info, debug no longer pervasive;
Sat, 14 Jan 2006 17:14:14 +0100 added exception ERROR, error, cat_error, sys_error, assert, deny, assert_all;
wenzelm [Sat, 14 Jan 2006 17:14:14 +0100] rev 18681
added exception ERROR, error, cat_error, sys_error, assert, deny, assert_all; added transform_failure; added prefix;
Sat, 14 Jan 2006 17:14:13 +0100 Output.debug;
wenzelm [Sat, 14 Jan 2006 17:14:13 +0100] rev 18680
Output.debug;
Sat, 14 Jan 2006 17:14:11 +0100 generated code: raise Match instead of ERROR;
wenzelm [Sat, 14 Jan 2006 17:14:11 +0100] rev 18679
generated code: raise Match instead of ERROR;
Sat, 14 Jan 2006 17:14:06 +0100 sane ERROR handling;
wenzelm [Sat, 14 Jan 2006 17:14:06 +0100] rev 18678
sane ERROR handling;
Fri, 13 Jan 2006 17:39:41 +0100 blacklist experiments
paulson [Fri, 13 Jan 2006 17:39:41 +0100] rev 18677
blacklist experiments
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip