| Mon, 18 Apr 2011 23:41:15 +0200 | wenzelm | pretty_abbrev: read abbreviation more directly; | changeset | files |
| Mon, 18 Apr 2011 20:40:31 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 18 Apr 2011 17:07:47 +0200 | krauss | raised timeouts further, for SML/NJ! | changeset | files |
| Mon, 18 Apr 2011 16:33:45 +0200 | berghofe | Package prefix is now taken into account when looking up user-defined | changeset | files |
| Mon, 18 Apr 2011 15:02:50 +0200 | wenzelm | merged | changeset | files |
| Mon, 18 Apr 2011 15:01:50 +0200 | wenzelm | 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); | changeset | files |
| Mon, 18 Apr 2011 12:12:42 +0200 | krauss | scheduler for Mutabelle regression | changeset | files |
| Mon, 18 Apr 2011 10:00:55 +0200 | krauss | tool for importing nightly isatest logs | changeset | files |