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