| Sat, 19 Dec 2009 11:48:11 +0100 | wenzelm | indicate final state of keywords; | changeset | files |
| Sat, 19 Dec 2009 11:45:14 +0100 | wenzelm | added symbol classification; | changeset | files |
| Fri, 18 Dec 2009 16:52:36 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 18 Dec 2009 15:33:44 +0100 | wenzelm | merged | changeset | files |
| Fri, 18 Dec 2009 15:32:52 +0100 | wenzelm | imitate PG style; | changeset | files |
| Fri, 18 Dec 2009 15:14:59 +0100 | wenzelm | merged | changeset | files |
| Fri, 18 Dec 2009 15:11:01 +0100 | wenzelm | imitate PG colors; | changeset | files |
| Fri, 18 Dec 2009 14:02:58 +0100 | blanchet | made Quickcheck take structured proof assumptions into account (like Refute and Nitpick) by default; | changeset | files |