| 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 |
| Tue, 14 Jun 2011 08:30:18 +0200 | bulwahn | removed comment and declaration after issue has been resolved (cf. e83695ea0e0a) | changeset | files |
| Mon, 13 Jun 2011 23:21:53 +0200 | wenzelm | more accurate CSS colors; | changeset | files |