| Wed, 20 Jun 2007 15:10:34 +0200 | aspinall | Remove dedicated flag setting elements in favour of setproverflag. | file | diff | annotate |
| Sat, 03 Mar 2007 12:42:39 +0100 | aspinall | Add setproverflag, to replace other flag controls | file | diff | annotate |
| Mon, 22 Jan 2007 15:37:08 +0100 | aspinall | Add askrefs, setrefs, error_with_pos | file | diff | annotate |
| Thu, 18 Jan 2007 11:16:49 +0100 | aspinall | Fix pgmlsymbolsoff | file | diff | annotate |
| Fri, 29 Dec 2006 18:25:46 +0100 | wenzelm | minor tuning; | file | diff | annotate |
| Sun, 17 Dec 2006 22:43:50 +0100 | aspinall | Add abstraction for objtypes and documents. | file | diff | annotate |
| Tue, 05 Dec 2006 22:04:24 +0100 | aspinall | Document structure in pgip_markup.ML. Minor fixes. | 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 |