| Mon, 04 Dec 2006 21:33:36 +0100 | aspinall | Forward compatibility with new Proof General module. | changeset | files |
| Mon, 04 Dec 2006 20:48:57 +0100 | aspinall | New files. | changeset | files |
| Mon, 04 Dec 2006 20:40:11 +0100 | aspinall | Revamped Proof General interface. | changeset | files |
| Mon, 04 Dec 2006 16:55:08 +0100 | aspinall | Add parse_string for attribute values and other string content | changeset | files |