Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Updated. | 2002-08-27 | |
| | |||
* | Updated. | 2002-08-16 | |
| | |||
* | Updates | 2002-08-08 | |
| | |||
* | Known issues | 2002-07-19 | |
| | |||
* | Update | 2002-07-18 | |
| | |||
* | Mention known probs in prerel | 2002-07-18 | |
| | |||
* | Tracing bug | 2002-07-14 | |
| | |||
* | Mention probs with tracing mode. | 2002-07-12 | |
| | |||
* | Reorg. Mention fontification bug. | 2002-06-30 | |
| | |||
* | Mention looping GNU | 2002-06-21 | |
| | |||
* | Remove minibuffer bug | 2001-08-31 | |
| | |||
* | Comment about win32 XEmacs | 2001-08-10 | |
| | |||
* | strange buffer selection bug reported by Markus | 2001-03-20 | |
| | |||
* | Inherent problem with Emacs in console mode: no face support | 2000-09-29 | |
| | |||
* | Updated | 2000-09-27 | |
| | |||
* | Fix Proof General web page to www.proofgeneral.org. | 2000-09-26 | |
| | |||
* | Updated | 2000-09-23 | |
| | |||
* | Plea for debugging in FSF Emacs | 2000-06-01 | |
| | |||
* | Note about fix for C-x C-f and friends | 2000-05-25 | |
| | |||
* | Added note about new FSF bug discovered, sigh... | 2000-05-01 | |
| | |||
* | Note about 21.1.9 problems reading files. | 2000-03-24 | |
| | |||
* | Updated, split by Emacs-specificity | 2000-03-23 | |
| | |||
* | Updated. | 2000-03-19 | |
| | |||
* | New/updated information files | 2000-03-13 | |
| | |||
* | Updated | 2000-03-09 | |
| | |||
* | Note about bug/fix with old Japan versions of CL macs. | 2000-03-08 | |
| | |||
* | Notes about fix for problem with Emacs 20.5 reported by Pierre | 2000-01-25 | |
| | |||
* | Added two new bugs. | 1999-12-13 | |
| | |||
* | Note about duplicated messages. | 1999-11-29 | |
| | |||
* | Added more notes about using ML files in Isabelle. | 1999-11-29 | |
| | |||
* | Note about proof_timing in Isabelle | 1999-11-29 | |
| | |||
* | Updated | 1999-11-25 | |
| | |||
* | Fixed extending queue bug. | 1999-11-24 | |
| | |||
* | Mention problem with MLWorks on Solaris | 1999-11-23 | |
| | |||
* | Added note about C-c RET broken on console. | 1999-11-19 | |
| | |||
* | Updated | 1999-11-17 | |
| | |||
* | Updated | 1999-11-16 | |
| | |||
* | Updated | 1999-11-15 | |
| | |||
* | Updated | 1999-11-08 | |
| | |||
* | Note to use C-c C-s to solve Isabelle prob | 1999-10-06 | |
| | |||
* | Bug about cut-and-paste from highlighted Isabelle goals. | 1999-10-01 | |
| | |||
* | Grammar. | 1999-09-29 | |
| | |||
* | Mentioned toolbar enabler potential problems | 1999-09-13 | |
| | |||
* | Added proof-terminal-string to proof-execute-minibuffer-cmd. | 1999-09-13 | |
| | |||
* | Mention problem with Ctrl-C and ssh. | 1999-09-13 | |
| | |||
* | Updated | 1999-08-24 | |
| | |||
* | Updated | 1999-08-23 | |
| | |||
* | Mentioned C-c C-a being broken. XEmacs 20.4 or later. | 1999-08-23 | |
| | |||
* | Mentioned latest bugs reported by Munchen correspondents | 1999-08-20 | |
| | |||
* | Better description of Solaris bug/feature. | 1999-01-12 | |
| |