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;
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;
wenzelm [Sat, 14 Jan 2006 17:14:13 +0100] rev 18680
Output.debug;
wenzelm [Sat, 14 Jan 2006 17:14:11 +0100] rev 18679
generated code: raise Match instead of ERROR;
wenzelm [Sat, 14 Jan 2006 17:14:06 +0100] rev 18678
sane ERROR handling;
paulson [Fri, 13 Jan 2006 17:39:41 +0100] rev 18677
blacklist experiments
paulson [Fri, 13 Jan 2006 17:39:19 +0100] rev 18676
more readable divide ops
paulson [Fri, 13 Jan 2006 17:39:03 +0100] rev 18675
more practical time limit
nipkow [Fri, 13 Jan 2006 14:43:09 +0100] rev 18674
*** empty log message ***
wenzelm [Fri, 13 Jan 2006 01:13:17 +0100] rev 18673
mixfix: added Structure;