Wed, 05 Sep 2007 21:09:11 +0200 | wenzelm | use preferences.ML: do setmp *here*, to capture intended default values; | file | diff | annotate |
Thu, 12 Jul 2007 00:15:26 +0200 | wenzelm | added ProofGeneral/pgip_parser.ML; | file | diff | annotate |
Fri, 06 Jul 2007 17:52:52 +0200 | aspinall | Produce good PGML 2.0 | file | diff | annotate |
Wed, 04 Jul 2007 21:19:34 +0200 | aspinall | Use pgml | file | diff | annotate |
Fri, 29 Dec 2006 18:46:04 +0100 | wenzelm | added proper header; | file | diff | annotate |
Sun, 17 Dec 2006 22:43:50 +0100 | aspinall | Add abstraction for objtypes and documents. | file | diff | annotate |
Mon, 04 Dec 2006 22:12:08 +0100 | aspinall | Add separate PG Emacs configuration | file | diff | annotate |
Mon, 04 Dec 2006 20:40:11 +0100 | aspinall | Revamped Proof General interface. | file | diff | annotate |