| Tue, 05 Dec 2006 01:17:32 +0100 | wenzelm | more careful indexing of local facts; | changeset | files |
| Tue, 05 Dec 2006 00:42:36 +0100 | wenzelm | * Pure: official theorem names and additional comments are now strictly separate. | changeset | files |
| 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 |