aboutsummaryrefslogtreecommitdiff
path: root/BUGS
AgeCommit message (Expand)Author
2004-06-23font-lock problem has reappeared.David Aspinall
2004-06-23Nesting too deep for parser error.David Aspinall
2004-06-11Link to FAQDavid Aspinall
2004-04-18Multiple frames annoyances, also proof-eagerly-raise setting.David Aspinall
2004-04-17Note about font-lock problem in XE 21.4.x x<11David Aspinall
2004-04-16Fix URLDavid Aspinall
2004-04-15Updated.David Aspinall
2004-04-15Updated.David Aspinall
2004-04-14Updated.David Aspinall
2003-12-11Fix domain nameDavid Aspinall
2003-05-28Updated.David Aspinall
2003-02-19Updated.David Aspinall
2003-02-05Updated.David Aspinall
2002-11-28Updated.David Aspinall
2002-11-11Updated.David Aspinall
2002-11-11Updated.David Aspinall
2002-11-07Updated.David Aspinall
2002-09-11Updated.David Aspinall
2002-08-30Strict read works on GNU Emacs 21.2.David Aspinall
2002-08-27Updated.David Aspinall
2002-08-16Updated.David Aspinall
2002-08-08UpdatesDavid Aspinall
2002-07-19Known issuesDavid Aspinall
2002-07-18UpdateDavid Aspinall
2002-07-18Mention known probs in prerelDavid Aspinall
2002-07-14Tracing bugDavid Aspinall
2002-07-12Mention probs with tracing mode.David Aspinall
2002-06-30Reorg. Mention fontification bug.David Aspinall
2002-06-21Mention looping GNUDavid Aspinall
2001-08-31Remove minibuffer bugDavid Aspinall
2001-08-10Comment about win32 XEmacsDavid Aspinall
2001-03-20strange buffer selection bug reported by MarkusDavid Aspinall
2000-09-29Inherent problem with Emacs in console mode: no face supportDavid Aspinall
2000-09-27UpdatedDavid Aspinall
2000-09-26Fix Proof General web page to www.proofgeneral.org.David Aspinall
2000-09-23UpdatedDavid Aspinall
2000-06-01Plea for debugging in FSF EmacsDavid Aspinall
2000-05-25Note about fix for C-x C-f and friendsDavid Aspinall
2000-05-01Added note about new FSF bug discovered, sigh...David Aspinall
2000-03-24Note about 21.1.9 problems reading files.David Aspinall
2000-03-23Updated, split by Emacs-specificityDavid Aspinall
2000-03-19Updated.David Aspinall
2000-03-13New/updated information filesDavid Aspinall
2000-03-09UpdatedDavid Aspinall
2000-03-08Note about bug/fix with old Japan versions of CL macs.David Aspinall
2000-01-25Notes about fix for problem with Emacs 20.5 reported by PierreDavid Aspinall
1999-12-13Added two new bugs.David Aspinall
1999-11-29Note about duplicated messages.David Aspinall
1999-11-29Added more notes about using ML files in Isabelle.David Aspinall
1999-11-29Note about proof_timing in IsabelleDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:15:13 +0000