| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-05-26 | Updated | David Aspinall |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2008-01-31 | Updated. | David Aspinall |
| 2007-12-13 | Updated. | David Aspinall |
| 2004-08-12 | Instructions on reporting bugs | David Aspinall |
| 2004-06-23 | font-lock problem has reappeared. | David Aspinall |
| 2004-06-23 | Nesting too deep for parser error. | David Aspinall |
| 2004-06-11 | Link to FAQ | David Aspinall |
| 2004-04-18 | Multiple frames annoyances, also proof-eagerly-raise setting. | David Aspinall |
| 2004-04-17 | Note about font-lock problem in XE 21.4.x x<11 | David Aspinall |
| 2004-04-16 | Fix URL | David Aspinall |
| 2004-04-15 | Updated. | David Aspinall |
| 2004-04-15 | Updated. | David Aspinall |
| 2004-04-14 | Updated. | David Aspinall |
| 2003-12-11 | Fix domain name | David Aspinall |
| 2003-05-28 | Updated. | David Aspinall |
| 2003-02-19 | Updated. | David Aspinall |
| 2003-02-05 | Updated. | David Aspinall |
| 2002-11-28 | Updated. | David Aspinall |
| 2002-11-11 | Updated. | David Aspinall |
| 2002-11-11 | Updated. | David Aspinall |
| 2002-11-07 | Updated. | David Aspinall |
| 2002-09-11 | Updated. | David Aspinall |
| 2002-08-30 | Strict read works on GNU Emacs 21.2. | David Aspinall |
| 2002-08-27 | Updated. | David Aspinall |
| 2002-08-16 | Updated. | David Aspinall |
| 2002-08-08 | Updates | David Aspinall |
| 2002-07-19 | Known issues | David Aspinall |
| 2002-07-18 | Update | David Aspinall |
| 2002-07-18 | Mention known probs in prerel | David Aspinall |
| 2002-07-14 | Tracing bug | David Aspinall |
| 2002-07-12 | Mention probs with tracing mode. | David Aspinall |
| 2002-06-30 | Reorg. Mention fontification bug. | David Aspinall |
| 2002-06-21 | Mention looping GNU | David Aspinall |
| 2001-08-31 | Remove minibuffer bug | David Aspinall |
| 2001-08-10 | Comment about win32 XEmacs | David Aspinall |
| 2001-03-20 | strange buffer selection bug reported by Markus | David Aspinall |
| 2000-09-29 | Inherent problem with Emacs in console mode: no face support | David Aspinall |
| 2000-09-27 | Updated | David Aspinall |
| 2000-09-26 | Fix Proof General web page to www.proofgeneral.org. | David Aspinall |
| 2000-09-23 | Updated | David Aspinall |
| 2000-06-01 | Plea for debugging in FSF Emacs | David Aspinall |
| 2000-05-25 | Note about fix for C-x C-f and friends | David Aspinall |
| 2000-05-01 | Added note about new FSF bug discovered, sigh... | David Aspinall |
| 2000-03-24 | Note about 21.1.9 problems reading files. | David Aspinall |
| 2000-03-23 | Updated, split by Emacs-specificity | David Aspinall |
| 2000-03-19 | Updated. | David Aspinall |
| 2000-03-13 | New/updated information files | David Aspinall |
| 2000-03-09 | Updated | David Aspinall |
| 2000-03-08 | Note about bug/fix with old Japan versions of CL macs. | David Aspinall |
