aboutsummaryrefslogtreecommitdiffhomepage
path: root/BUGS
Commit message (Expand)AuthorAge
* UpdatedGravatar David Aspinall2010-10-11
* Minor tweaks to versions, etc.Gravatar David Aspinall2010-08-17
* Mention bugs with Coq script management.Gravatar David Aspinall2009-10-16
* UpdatedGravatar David Aspinall2009-09-06
* Merge in Isar and Coq bugsGravatar David Aspinall2009-08-31
* UpdatedGravatar David Aspinall2009-05-26
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Updated.Gravatar David Aspinall2008-01-31
* Updated.Gravatar David Aspinall2007-12-13
* 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