Mon, 07 Jan 2013 19:15:01 +0100 | blanchet | tuned output | changeset | files |
Mon, 07 Jan 2013 10:17:11 +0100 | wenzelm | slightly odd duplication of Pure options for Proof General (amending cb5cdbb645cd); | changeset | files |
Sun, 06 Jan 2013 17:38:29 +0100 | blanchet | put single-theorem names before multi-theorem ones (broken since 5d147d492792) | changeset | files |