aboutsummaryrefslogtreecommitdiff
path: root/BUGS
AgeCommit message (Expand)Author
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
1999-11-25UpdatedDavid Aspinall
1999-11-24Fixed extending queue bug.David Aspinall
1999-11-23Mention problem with MLWorks on SolarisDavid Aspinall
1999-11-19Added note about C-c RET broken on console.David Aspinall
1999-11-17UpdatedDavid Aspinall
1999-11-16UpdatedDavid Aspinall
1999-11-15UpdatedDavid Aspinall
1999-11-08UpdatedDavid Aspinall
1999-10-06Note to use C-c C-s to solve Isabelle probDavid Aspinall
1999-10-01Bug about cut-and-paste from highlighted Isabelle goals.David Aspinall
1999-09-29Grammar.David Aspinall
1999-09-13Mentioned toolbar enabler potential problemsDavid Aspinall
1999-09-13Added proof-terminal-string to proof-execute-minibuffer-cmd.David Aspinall
1999-09-13Mention problem with Ctrl-C and ssh.David Aspinall
1999-08-24UpdatedDavid Aspinall
1999-08-23UpdatedDavid Aspinall
1999-08-23Mentioned C-c C-a being broken. XEmacs 20.4 or later.David Aspinall
1999-08-20Mentioned latest bugs reported by Munchen correspondentsDavid Aspinall
1999-01-12Better description of Solaris bug/feature.David Aspinall
1998-12-16further documentation of LEGO specific bugThomas Kleymann
1998-12-16documented LEGO specific bugThomas Kleymann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:56:22 +0000