aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/lego
Commit message (Expand)AuthorAge
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* Example of using pbpGravatar David Aspinall2002-07-16
* Error example from Randy, showing too much info was lost in output msgs.Gravatar David Aspinall2000-03-08
* proof-nested-goals-allowed -> proof-completed-proof-behaviourGravatar David Aspinall1999-11-14
* Test caseGravatar David Aspinall1999-11-13
* Improved test file so that it works correctly with installed LEGO 1.3.1Gravatar Thomas Kleymann1999-01-21
* added Solaris-specific path. Requires LEGO versions more recent than 1.3.1Gravatar Thomas Kleymann1999-01-18
* does indeed crash Proof General, Version 2.1pre990112Gravatar Thomas Kleymann1999-01-18
* Name of proof-shell-restart was changed.Gravatar David Aspinall1998-12-11
* Added new case of retracting across file boundaries to a buffer withGravatar Thomas Kleymann1998-10-23
* no futher instructions in share-site-startup neededGravatar Thomas Kleymann1998-10-23
* modified local installation procedureGravatar Thomas Kleymann1998-10-21
* Filename commentGravatar David Aspinall1998-10-20
* support environmental variable PROOFGENERALGravatar Thomas Kleymann1998-10-19
* support for nested goals is now restricted to CoqGravatar Thomas Kleymann1998-10-18
* *** empty log message ***Gravatar Thomas Kleymann1998-10-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-04 13:08:41 +0000