| Sun, 04 Nov 2007 16:43:29 +0100 | wenzelm | Output.add_mode default prevents escapes from ProofGeneral mode; | file | diff | annotate |
| Mon, 23 Jul 2007 16:45:03 +0200 | wenzelm | PrintMode.with_modes; | file | diff | annotate |
| Thu, 12 Jul 2007 00:15:38 +0200 | wenzelm | added skeleton for print_mode setup; | 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:20:23 +0200 | aspinall | PGML abstraction, draft version | file | diff | annotate |