| Tue, 30 Jan 2007 13:14:41 +0100 | aspinall | Add operations on preference tables (remove, set_default). | file | diff | annotate |
| Sat, 20 Jan 2007 14:09:14 +0100 | wenzelm | Output.debug: non-strict; | file | diff | annotate |
| Fri, 29 Dec 2006 18:25:46 +0100 | wenzelm | minor tuning; | 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 |