| Tue, 22 Sep 2009 20:25:31 +0200 | wenzelm | full reserve of worker threads -- for improved CPU utilization; | changeset | files |
| Tue, 22 Sep 2009 15:38:12 +0200 | haftmann | merged | changeset | files |
| Tue, 22 Sep 2009 15:36:55 +0200 | haftmann | be more cautious wrt. simp rules: inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no simp rules by default any longer | changeset | files |
| Tue, 22 Sep 2009 15:12:45 +0200 | krauss | tail -n 20: more helpful output if make fails | changeset | files |
| Tue, 22 Sep 2009 08:58:08 +0200 | haftmann | corrected order of type variables in code equations; more precise certificate for cases | changeset | files |
| Mon, 21 Sep 2009 16:16:16 +0200 | Christian Urban | merged | changeset | files |
| Mon, 21 Sep 2009 15:02:23 +0200 | Christian Urban | tuned some proofs | changeset | files |
| Mon, 21 Sep 2009 16:11:36 +0200 | haftmann | merged | changeset | files |