| Tue, 05 Dec 2006 00:30:38 +0100 | wenzelm | thm/prf: separate official name vs. additional tags; | changeset | files |
| Tue, 05 Dec 2006 00:29:19 +0100 | wenzelm | thm/prf: separate official name vs. additional tags; | changeset | files |
| Tue, 05 Dec 2006 00:29:16 +0100 | wenzelm | notes: added non-official name; | changeset | files |
| Tue, 05 Dec 2006 00:29:13 +0100 | wenzelm | note_thmss: added kind tag and non-official name; | changeset | files |
| Mon, 04 Dec 2006 22:12:08 +0100 | aspinall | Add separate PG Emacs configuration | changeset | files |
| Mon, 04 Dec 2006 22:11:28 +0100 | aspinall | Include pgip markup module | changeset | files |
| Mon, 04 Dec 2006 21:41:47 +0100 | aspinall | Build instructions for new Proof General module [not yet activated] | changeset | files |