Mon, 24 Nov 2008 18:04:21 +0100 | ballarin | Enable switching to new locales during session. | changeset | files |
Mon, 24 Nov 2008 18:03:48 +0100 | ballarin | Read/cert_statement for theorem statements. | changeset | files |
Mon, 24 Nov 2008 18:02:52 +0100 | ballarin | Generalised activation code. | changeset | files |