| Tue, 14 Jun 2011 13:34:27 +0200 | wenzelm | more explicit check of dependencies; | changeset | files |
| Tue, 14 Jun 2011 13:18:36 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 14 Jun 2011 12:18:34 +0200 | wenzelm | misc tuning and simplification; | changeset | files |
| Tue, 14 Jun 2011 11:36:08 +0200 | wenzelm | separate module for text area painting; | changeset | files |
| Tue, 14 Jun 2011 08:33:51 +0200 | bulwahn | improved mutabelle script to use nat for quickcheck_narrowing | changeset | files |
| Tue, 14 Jun 2011 08:30:19 +0200 | bulwahn | quickcheck_narrowing returns some timing information | changeset | files |