Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix URL | 2004-04-16 | |
* | Updated. | 2004-04-15 | |
* | Updated. | 2004-04-15 | |
* | Updated. | 2004-04-14 | |
* | Fix domain name | 2003-12-11 | |
* | Updated. | 2003-05-28 | |
* | Updated. | 2003-02-19 | |
* | Updated. | 2003-02-05 | |
* | Updated. | 2002-11-28 | |
* | Updated. | 2002-11-11 | |
* | Updated. | 2002-11-11 | |
* | Updated. | 2002-11-07 | |
* | Updated. | 2002-09-11 | |
* | Strict read works on GNU Emacs 21.2. | 2002-08-30 | |
* | 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 |