aboutsummaryrefslogtreecommitdiffhomepage
path: root/BUGS
Commit message (Expand)AuthorAge
* Instructions on reporting bugsGravatar David Aspinall2004-08-12
* font-lock problem has reappeared.Gravatar David Aspinall2004-06-23
* Nesting too deep for parser error.Gravatar David Aspinall2004-06-23
* Link to FAQGravatar David Aspinall2004-06-11
* Multiple frames annoyances, also proof-eagerly-raise setting.Gravatar David Aspinall2004-04-18
* Note about font-lock problem in XE 21.4.x x<11Gravatar David Aspinall2004-04-17
* Fix URLGravatar David Aspinall2004-04-16
* Updated.Gravatar David Aspinall2004-04-15
* Updated.Gravatar David Aspinall2004-04-15
* Updated.Gravatar David Aspinall2004-04-14
* Fix domain nameGravatar David Aspinall2003-12-11
* Updated.Gravatar David Aspinall2003-05-28
* Updated.Gravatar David Aspinall2003-02-19
* Updated.Gravatar David Aspinall2003-02-05
* Updated.Gravatar David Aspinall2002-11-28
* Updated.Gravatar David Aspinall2002-11-11
* Updated.Gravatar David Aspinall2002-11-11
* Updated.Gravatar David Aspinall2002-11-07
* Updated.Gravatar David Aspinall2002-09-11
* Strict read works on GNU Emacs 21.2.Gravatar David Aspinall2002-08-30
* Updated.Gravatar David Aspinall2002-08-27
* Updated.Gravatar David Aspinall2002-08-16
* UpdatesGravatar David Aspinall2002-08-08
* Known issuesGravatar David Aspinall2002-07-19
* UpdateGravatar David Aspinall2002-07-18
* Mention known probs in prerelGravatar David Aspinall2002-07-18
* Tracing bugGravatar David Aspinall2002-07-14
* Mention probs with tracing mode.Gravatar David Aspinall2002-07-12
* Reorg. Mention fontification bug.Gravatar David Aspinall2002-06-30
* Mention looping GNUGravatar David Aspinall2002-06-21
* Remove minibuffer bugGravatar David Aspinall2001-08-31
* Comment about win32 XEmacsGravatar David Aspinall2001-08-10
* strange buffer selection bug reported by MarkusGravatar David Aspinall2001-03-20
* Inherent problem with Emacs in console mode: no face supportGravatar David Aspinall2000-09-29
* UpdatedGravatar David Aspinall2000-09-27
* Fix Proof General web page to www.proofgeneral.org.Gravatar David Aspinall2000-09-26
* UpdatedGravatar David Aspinall2000-09-23
* Plea for debugging in FSF EmacsGravatar David Aspinall2000-06-01
* Note about fix for C-x C-f and friendsGravatar David Aspinall2000-05-25
* Added note about new FSF bug discovered, sigh...Gravatar David Aspinall2000-05-01
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 15:34:13 +0000