aboutsummaryrefslogtreecommitdiffhomepage
path: root/BUGS
Commit message (Expand)AuthorAge
...
* Note about 21.1.9 problems reading files.Gravatar David Aspinall2000-03-24
* Updated, split by Emacs-specificityGravatar David Aspinall2000-03-23
* Updated.Gravatar David Aspinall2000-03-19
* New/updated information filesGravatar David Aspinall2000-03-13
* UpdatedGravatar David Aspinall2000-03-09
* Note about bug/fix with old Japan versions of CL macs.Gravatar David Aspinall2000-03-08
* Notes about fix for problem with Emacs 20.5 reported by PierreGravatar David Aspinall2000-01-25
* Added two new bugs.Gravatar David Aspinall1999-12-13
* Note about duplicated messages.Gravatar David Aspinall1999-11-29
* Added more notes about using ML files in Isabelle.Gravatar David Aspinall1999-11-29
* Note about proof_timing in IsabelleGravatar David Aspinall1999-11-29
* UpdatedGravatar David Aspinall1999-11-25
* Fixed extending queue bug.Gravatar David Aspinall1999-11-24
* Mention problem with MLWorks on SolarisGravatar David Aspinall1999-11-23
* Added note about C-c RET broken on console.Gravatar David Aspinall1999-11-19
* UpdatedGravatar David Aspinall1999-11-17
* UpdatedGravatar David Aspinall1999-11-16
* UpdatedGravatar David Aspinall1999-11-15
* UpdatedGravatar David Aspinall1999-11-08
* 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-05-06 11:40:43 +0000