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
...
*
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
*
Added section on Isabelle specific bugs.
David Aspinall
1998-11-09
*
Nasty things no longer happen, can't load Proof General more than once
David Aspinall
1998-11-06
*
completed chapter on Known bugs. However section on Isabelle Proof
Thomas Kleymann
1998-11-05
*
Updated and improved.
David Aspinall
1998-11-03
*
Found some more...
David Aspinall
1998-10-07
*
Added notes about toolbar and retract buglets.
David Aspinall
1998-10-01
*
Fixed message about using several assistants
David Aspinall
1998-09-17
*
Realised clash with proof-assistant variable was causing "odd customize behav...
David Aspinall
1998-09-14
*
Added toolbar todos discussed at business lunch with tms
David Aspinall
1998-09-14
*
Added Id to headers.
David Aspinall
1998-09-09
*
Updated
David Aspinall
1998-09-09
*
New file.
David Aspinall
1998-09-03
[prev]