| Tue, 26 Jul 2011 14:53:00 +0200 | blanchet | give E at least two seconds -- anything else risks causing too early timeouts in the minimizer, because of too conservative time computations in E and eproof scripts | changeset | files |
| Tue, 26 Jul 2011 14:50:15 +0200 | Andreas Lochbihler | merged | changeset | files |
| Tue, 26 Jul 2011 14:05:28 +0200 | Andreas Lochbihler | fixed code generator setup in List_Cset | changeset | files |