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
*
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