aboutsummaryrefslogtreecommitdiff
path: root/BUGS
AgeCommit message (Expand)Author
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 14:25:04 +0000