Fri, 29 Dec 2006 16:46:39 +0100 | aspinall | Typo in last commit | file | diff | annotate |
Wed, 27 Dec 2006 16:18:07 +0100 | haftmann | made SML/NJ happy | file | diff | annotate |
Sun, 17 Dec 2006 22:43:50 +0100 | aspinall | Add abstraction for objtypes and documents. | file | diff | annotate |
Fri, 15 Dec 2006 00:08:06 +0100 | wenzelm | avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert; | file | diff | annotate |
Tue, 05 Dec 2006 22:04:24 +0100 | aspinall | Document structure in pgip_markup.ML. Minor fixes. | file | diff | annotate |
Tue, 05 Dec 2006 14:05:23 +0100 | aspinall | Fix typo. Some cleanup for XML attributes | file | diff | annotate |
Tue, 05 Dec 2006 13:56:43 +0100 | aspinall | Support PGIP communication for preferences in Emacs mode. | file | diff | annotate |
Mon, 04 Dec 2006 20:40:11 +0100 | aspinall | Revamped Proof General interface. | file | diff | annotate |