Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Emphasise importance of Trac | 2012-01-10 | |
| | |||
* | Updated | 2010-10-11 | |
| | |||
* | Minor tweaks to versions, etc. | 2010-08-17 | |
| | |||
* | Mention bugs with Coq script management. | 2009-10-16 | |
| | |||
* | Updated | 2009-09-06 | |
| | |||
* | Merge in Isar and Coq bugs | 2009-08-31 | |
| | |||
* | Updated | 2009-05-26 | |
| | |||
* | Merge changes from Version4Branch. | 2008-07-24 | |
| | |||
* | Updated. | 2008-01-31 | |
| | |||
* | Updated. | 2007-12-13 | |
| | |||
* | Instructions on reporting bugs | 2004-08-12 | |
| | |||
* | font-lock problem has reappeared. | 2004-06-23 | |
| | |||
* | Nesting too deep for parser error. | 2004-06-23 | |
| | |||
* | Link to FAQ | 2004-06-11 | |
| | |||
* | Multiple frames annoyances, also proof-eagerly-raise setting. | 2004-04-18 | |
| | |||
* | Note about font-lock problem in XE 21.4.x x<11 | 2004-04-17 | |
| | |||
* | 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 | |
| |