Thu, 26 May 2005 10:05:28 +0200 | kleing | cleaned up select_match | changeset | files |
Thu, 26 May 2005 10:05:11 +0200 | paulson | Narrower version of the Proof General's head; removal of the alternative icon and environment | changeset | files |
Thu, 26 May 2005 10:02:01 +0200 | paulson | Narrower version of the Proof General's head | changeset | files |