index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
BUGS
Commit message (
Expand
)
Author
Age
*
Reorg. Mention fontification bug.
David Aspinall
2002-06-30
*
Mention looping GNU
David Aspinall
2002-06-21
*
Remove minibuffer bug
David Aspinall
2001-08-31
*
Comment about win32 XEmacs
David Aspinall
2001-08-10
*
strange buffer selection bug reported by Markus
David Aspinall
2001-03-20
*
Inherent problem with Emacs in console mode: no face support
David Aspinall
2000-09-29
*
Updated
David Aspinall
2000-09-27
*
Fix Proof General web page to www.proofgeneral.org.
David Aspinall
2000-09-26
*
Updated
David Aspinall
2000-09-23
*
Plea for debugging in FSF Emacs
David Aspinall
2000-06-01
*
Note about fix for C-x C-f and friends
David Aspinall
2000-05-25
*
Added note about new FSF bug discovered, sigh...
David Aspinall
2000-05-01
*
Note about 21.1.9 problems reading files.
David Aspinall
2000-03-24
*
Updated, split by Emacs-specificity
David Aspinall
2000-03-23
*
Updated.
David Aspinall
2000-03-19
*
New/updated information files
David Aspinall
2000-03-13
*
Updated
David Aspinall
2000-03-09
*
Note about bug/fix with old Japan versions of CL macs.
David Aspinall
2000-03-08
*
Notes about fix for problem with Emacs 20.5 reported by Pierre
David Aspinall
2000-01-25
*
Added two new bugs.
David Aspinall
1999-12-13
*
Note about duplicated messages.
David Aspinall
1999-11-29
*
Added more notes about using ML files in Isabelle.
David Aspinall
1999-11-29
*
Note about proof_timing in Isabelle
David Aspinall
1999-11-29
*
Updated
David Aspinall
1999-11-25
*
Fixed extending queue bug.
David Aspinall
1999-11-24
*
Mention problem with MLWorks on Solaris
David Aspinall
1999-11-23
*
Added note about C-c RET broken on console.
David Aspinall
1999-11-19
*
Updated
David Aspinall
1999-11-17
*
Updated
David Aspinall
1999-11-16
*
Updated
David Aspinall
1999-11-15
*
Updated
David Aspinall
1999-11-08
*
Note to use C-c C-s to solve Isabelle prob
David Aspinall
1999-10-06
*
Bug about cut-and-paste from highlighted Isabelle goals.
David Aspinall
1999-10-01
*
Grammar.
David Aspinall
1999-09-29
*
Mentioned toolbar enabler potential problems
David Aspinall
1999-09-13
*
Added proof-terminal-string to proof-execute-minibuffer-cmd.
David Aspinall
1999-09-13
*
Mention problem with Ctrl-C and ssh.
David Aspinall
1999-09-13
*
Updated
David Aspinall
1999-08-24
*
Updated
David Aspinall
1999-08-23
*
Mentioned C-c C-a being broken. XEmacs 20.4 or later.
David Aspinall
1999-08-23
*
Mentioned latest bugs reported by Munchen correspondents
David Aspinall
1999-08-20
*
Better description of Solaris bug/feature.
David Aspinall
1999-01-12
*
further documentation of LEGO specific bug
Thomas Kleymann
1998-12-16
*
documented LEGO specific bug
Thomas Kleymann
1998-12-16
*
Removed multiple provers problem, it's handled gracefully now and not a bug.
David Aspinall
1998-12-11
*
Added mention of FSFmacs multibyte character problem (version 20.3)
David Aspinall
1998-12-11
*
Updated
David Aspinall
1998-11-25
*
documented problem with Discharge in LEGO
Thomas Kleymann
1998-11-10
*
introduced section for FSF Emacs
Thomas Kleymann
1998-11-10
*
Added bug about FSFmacs/proof-strict-read-only=t/font-lock
David Aspinall
1998-11-09
[next]