aboutsummaryrefslogtreecommitdiff
path: root/BUGS
AgeCommit message (Expand)Author
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
1998-12-11Removed multiple provers problem, it's handled gracefully now and not a bug.David Aspinall
1998-12-11Added mention of FSFmacs multibyte character problem (version 20.3)David Aspinall
1998-11-25UpdatedDavid Aspinall
1998-11-10documented problem with Discharge in LEGOThomas Kleymann
1998-11-10introduced section for FSF EmacsThomas Kleymann
1998-11-09Added bug about FSFmacs/proof-strict-read-only=t/font-lockDavid Aspinall
1998-11-09Added section on Isabelle specific bugs.David Aspinall
1998-11-06Nasty things no longer happen, can't load Proof General more than onceDavid Aspinall
1998-11-05completed chapter on Known bugs. However section on Isabelle ProofThomas Kleymann
1998-11-03Updated and improved.David Aspinall
1998-10-07Found some more...David Aspinall
1998-10-01Added notes about toolbar and retract buglets.David Aspinall
1998-09-17Fixed message about using several assistantsDavid Aspinall
1998-09-14Realised clash with proof-assistant variable was causing "odd customize behav...David Aspinall
1998-09-14Added toolbar todos discussed at business lunch with tmsDavid Aspinall
1998-09-09Added Id to headers.David Aspinall
1998-09-09UpdatedDavid Aspinall
1998-09-03New file.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:36 +0000