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 (
Collapse
)
Author
Age
*
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
|
|
|
|
General specific bugs is still missing.
*
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 ↵
David Aspinall
1998-09-14
|
|
|
|
behaviour"
*
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