aboutsummaryrefslogtreecommitdiff
path: root/BUGS
AgeCommit message (Expand)Author
2009-09-06UpdatedDavid Aspinall
2009-08-31Merge in Isar and Coq bugsDavid Aspinall
2009-05-26UpdatedDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-01-31Updated.David Aspinall
2007-12-13Updated.David Aspinall
2004-08-12Instructions on reporting bugsDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:22:33 +0000