aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/lego
Commit message (Expand)AuthorAge
* 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