krauss [Mon, 18 Apr 2011 17:07:47 +0200] rev 42397
raised timeouts further, for SML/NJ!
berghofe [Mon, 18 Apr 2011 16:33:45 +0200] rev 42396
Package prefix is now taken into account when looking up user-defined
types and proof functions.
wenzelm [Mon, 18 Apr 2011 15:02:50 +0200] rev 42395
merged
wenzelm [Mon, 18 Apr 2011 15:01:50 +0200] rev 42394
recovered Theory.check_def: full name needs to be determined from background thy, not auxiliary ctxt (broken in 774df7c59508, caused Nitpick.all_axioms_of to produce bad results);
krauss [Mon, 18 Apr 2011 12:12:42 +0200] rev 42393
scheduler for Mutabelle regression
krauss [Mon, 18 Apr 2011 10:00:55 +0200] rev 42392
tool for importing nightly isatest logs
bulwahn [Mon, 18 Apr 2011 09:10:23 +0200] rev 42391
adding bounded_forall tester
bulwahn [Mon, 18 Apr 2011 09:10:23 +0200] rev 42390
creating generic test_term function; corrected instantiate_exhaustive_datatype; tuned
wenzelm [Mon, 18 Apr 2011 14:05:39 +0200] rev 42389
pass plain Proof.context for pretty printing;
wenzelm [Mon, 18 Apr 2011 13:52:23 +0200] rev 42388
standardized aliases of operations on tsig;