| 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 |