index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
etc
/
lego
Commit message (
Collapse
)
Author
Age
*
Refactor several variable names; clean up, doc subterm markup and output ↵
David Aspinall
2002-07-16
|
|
|
|
display.
*
Example of using pbp
David Aspinall
2002-07-16
|
*
Error example from Randy, showing too much info was lost in output msgs.
David Aspinall
2000-03-08
|
*
proof-nested-goals-allowed -> proof-completed-proof-behaviour
David Aspinall
1999-11-14
|
|
|
|
|
Patch for more flexible handling of closing goal...save regions after proof has been completed.
*
Test case
David Aspinall
1999-11-13
|
*
Improved test file so that it works correctly with installed LEGO 1.3.1
Thomas Kleymann
1999-01-21
|
*
added Solaris-specific path. Requires LEGO versions more recent than 1.3.1
Thomas Kleymann
1999-01-18
|
*
does indeed crash Proof General, Version 2.1pre990112
Thomas Kleymann
1999-01-18
|
*
Name of proof-shell-restart was changed.
David Aspinall
1998-12-11
|
*
Added new case of retracting across file boundaries to a buffer with
Thomas Kleymann
1998-10-23
|
|
|
|
more than on ACS. Also improved presentation.
*
no futher instructions in share-site-startup needed
Thomas Kleymann
1998-10-23
|
*
modified local installation procedure
Thomas Kleymann
1998-10-21
|
*
Filename comment
David Aspinall
1998-10-20
|
*
support environmental variable PROOFGENERAL
Thomas Kleymann
1998-10-19
|
*
support for nested goals is now restricted to Coq
Thomas Kleymann
1998-10-18
|
*
*** empty log message ***
Thomas Kleymann
1998-10-18