| 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 |
| Mon, 23 Nov 2009 21:24:15 +0100 | wenzelm | updated for release; | changeset | files |
| Mon, 23 Nov 2009 21:04:00 +0100 | ballarin | Generated files. | changeset | files |
| Mon, 23 Nov 2009 21:03:49 +0100 | ballarin | Typos in documenation. | changeset | files |