Thu, 09 Aug 2007 11:37:27 +0200 | aspinall | Typo in comment | file | diff | annotate |
Tue, 31 Jul 2007 21:19:22 +0200 | wenzelm | added max-threads preference; | file | diff | annotate |
Wed, 04 Apr 2007 00:11:20 +0200 | wenzelm | renamed Output.has_mode to print_mode_active; | file | diff | annotate |
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 |