aboutsummaryrefslogtreecommitdiff
path: root/etc/lego
AgeCommit message (Collapse)Author
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2002-07-16Refactor several variable names; clean up, doc subterm markup and output ↵David Aspinall
display.
2002-07-16Example of using pbpDavid Aspinall
2000-03-08Error example from Randy, showing too much info was lost in output msgs.David Aspinall
1999-11-14proof-nested-goals-allowed -> proof-completed-proof-behaviourDavid Aspinall
Patch for more flexible handling of closing goal...save regions after proof has been completed.
1999-11-13Test caseDavid Aspinall
1999-01-21Improved test file so that it works correctly with installed LEGO 1.3.1Thomas Kleymann
1999-01-18added Solaris-specific path. Requires LEGO versions more recent than 1.3.1Thomas Kleymann
1999-01-18does indeed crash Proof General, Version 2.1pre990112Thomas Kleymann
1998-12-11Name of proof-shell-restart was changed.David Aspinall
1998-10-23Added new case of retracting across file boundaries to a buffer withThomas Kleymann
more than on ACS. Also improved presentation.
1998-10-23no futher instructions in share-site-startup neededThomas Kleymann
1998-10-21modified local installation procedureThomas Kleymann
1998-10-20Filename commentDavid Aspinall
1998-10-19support environmental variable PROOFGENERALThomas Kleymann
1998-10-18support for nested goals is now restricted to CoqThomas Kleymann
1998-10-18*** empty log message ***Thomas Kleymann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:46:31 +0000