| 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 |