aboutsummaryrefslogtreecommitdiffhomepage
path: root/BUGS
Commit message (Expand)AuthorAge
* further documentation of LEGO specific bugGravatar Thomas Kleymann1998-12-16
* documented LEGO specific bugGravatar Thomas Kleymann1998-12-16
* Removed multiple provers problem, it's handled gracefully now and not a bug.Gravatar David Aspinall1998-12-11
* Added mention of FSFmacs multibyte character problem (version 20.3)Gravatar David Aspinall1998-12-11
* UpdatedGravatar David Aspinall1998-11-25
* documented problem with Discharge in LEGOGravatar Thomas Kleymann1998-11-10
* introduced section for FSF EmacsGravatar Thomas Kleymann1998-11-10
* Added bug about FSFmacs/proof-strict-read-only=t/font-lockGravatar David Aspinall1998-11-09
* Added section on Isabelle specific bugs.Gravatar David Aspinall1998-11-09
* Nasty things no longer happen, can't load Proof General more than onceGravatar David Aspinall1998-11-06
* completed chapter on Known bugs. However section on Isabelle ProofGravatar Thomas Kleymann1998-11-05
* Updated and improved.Gravatar David Aspinall1998-11-03
* Found some more...Gravatar David Aspinall1998-10-07
* Added notes about toolbar and retract buglets.Gravatar David Aspinall1998-10-01
* Fixed message about using several assistantsGravatar David Aspinall1998-09-17
* Realised clash with proof-assistant variable was causing "odd customize behav...Gravatar David Aspinall1998-09-14
* Added toolbar todos discussed at business lunch with tmsGravatar David Aspinall1998-09-14
* Added Id to headers.Gravatar David Aspinall1998-09-09
* UpdatedGravatar David Aspinall1998-09-09
* New file.Gravatar David Aspinall1998-09-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 22:45:55 +0000