aboutsummaryrefslogtreecommitdiffhomepage
path: root/BUGS
Commit message (Expand)AuthorAge
* Note to use C-c C-s to solve Isabelle probGravatar David Aspinall1999-10-06
* Bug about cut-and-paste from highlighted Isabelle goals.Gravatar David Aspinall1999-10-01
* Grammar.Gravatar David Aspinall1999-09-29
* Mentioned toolbar enabler potential problemsGravatar David Aspinall1999-09-13
* Added proof-terminal-string to proof-execute-minibuffer-cmd.Gravatar David Aspinall1999-09-13
* Mention problem with Ctrl-C and ssh.Gravatar David Aspinall1999-09-13
* UpdatedGravatar David Aspinall1999-08-24
* UpdatedGravatar David Aspinall1999-08-23
* Mentioned C-c C-a being broken. XEmacs 20.4 or later.Gravatar David Aspinall1999-08-23
* Mentioned latest bugs reported by Munchen correspondentsGravatar David Aspinall1999-08-20
* Better description of Solaris bug/feature.Gravatar David Aspinall1999-01-12
* 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-09 20:50:09 +0000