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