Sat, 14 Jan 2006 17:14:15 +0100 wenzelm removed special ERROR handling stuff (transform_error etc.);
Sat, 14 Jan 2006 17:14:14 +0100 wenzelm added exception ERROR, error, cat_error, sys_error, assert, deny, assert_all;
Sat, 14 Jan 2006 17:14:13 +0100 wenzelm Output.debug;
Sat, 14 Jan 2006 17:14:11 +0100 wenzelm generated code: raise Match instead of ERROR;
Sat, 14 Jan 2006 17:14:06 +0100 wenzelm sane ERROR handling;
Fri, 13 Jan 2006 17:39:41 +0100 paulson blacklist experiments
Fri, 13 Jan 2006 17:39:19 +0100 paulson more readable divide ops
Fri, 13 Jan 2006 17:39:03 +0100 paulson more practical time limit
(0) -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip