| Mon, 23 Nov 2009 17:59:22 +0100 | blanchet | fixed soundness bug in Nitpick's handling of typedefs | changeset | files |
| Mon, 23 Nov 2009 22:59:48 +0100 | wenzelm | multiplatform polyml.tar.gz; | changeset | files |
| Mon, 23 Nov 2009 22:47:41 +0100 | wenzelm | updated keywords; | changeset | files |
| Mon, 23 Nov 2009 22:47:08 +0100 | wenzelm | more tuning for release; | changeset | files |
| Mon, 23 Nov 2009 22:35:54 +0100 | wenzelm | added command 'ProofGeneral.pr' for PG 4.0; | changeset | files |
| Mon, 23 Nov 2009 21:56:07 +0100 | bulwahn | merged | changeset | files |
| Mon, 23 Nov 2009 19:42:52 +0100 | bulwahn | improving the setup for the tabled transitive closure thanks to usage of Andreas Lochbihler | changeset | files |