| Fri, 02 Oct 2009 21:42:31 +0200 | wenzelm | Refute.refute_goal: goal addressing from 1 as usual; | changeset | files |
| Fri, 02 Oct 2009 21:41:57 +0200 | wenzelm | Refute.refute_goal: canonical goal addresses from 1 (renamed from refute_subgoal to clarify change in semantics); | changeset | files |
| Fri, 02 Oct 2009 21:39:06 +0200 | wenzelm | clarified Proof.refine_insert -- always "refine" to apply standard method treatment (of conjunctions); | changeset | files |
| Fri, 02 Oct 2009 20:51:32 +0200 | wenzelm | misc tuning and simplification; | changeset | files |
| Fri, 02 Oct 2009 20:10:25 +0200 | wenzelm | macbroy2: bigger jobs first, to avoid danger of swapping during daytime; | changeset | files |
| Fri, 02 Oct 2009 10:35:13 +0200 | wenzelm | less ambitious heap settings; | changeset | files |
| Fri, 02 Oct 2009 04:44:56 +0200 | haftmann | merged | changeset | files |
| Thu, 01 Oct 2009 18:46:57 +0200 | haftmann | merged | changeset | files |