traytel [Fri, 22 Feb 2013 13:39:47 +0100] rev 52385
tuned error messages
traytel [Fri, 22 Feb 2013 13:38:10 +0100] rev 52384
Coercion_Examples defines required coercions itself (no Complex_Main needed)
traytel [Fri, 22 Feb 2013 13:36:31 +0100] rev 52383
apply unifying substitution before building the constraint graph
nipkow [Fri, 22 Feb 2013 20:12:53 +0100] rev 52382
more abstract intervals
wenzelm [Fri, 22 Feb 2013 17:24:09 +0100] rev 52381
more robust load_timings: ignore XML.Decode errors as well;
wenzelm [Fri, 22 Feb 2013 17:02:16 +0100] rev 52380
make SML/NJ happy;
wenzelm [Fri, 22 Feb 2013 17:02:00 +0100] rev 52379
identify exceptions more robustly, to allow SML/NJ report toplevel errors without crash;
wenzelm [Fri, 22 Feb 2013 16:52:10 +0100] rev 52378
make SML/NJ happy;
wenzelm [Fri, 22 Feb 2013 14:39:12 +0100] rev 52377
updated headers;
wenzelm [Fri, 22 Feb 2013 14:38:52 +0100] rev 52376
eliminated hard tabs;