Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Improved test file so that it works correctly with installed LEGO 1.3.1 | 1999-01-21 | |
* | added Solaris-specific path. Requires LEGO versions more recent than 1.3.1 | 1999-01-18 | |
* | does indeed crash Proof General, Version 2.1pre990112 | 1999-01-18 | |
* | Name of proof-shell-restart was changed. | 1998-12-11 | |
* | Added new case of retracting across file boundaries to a buffer with | 1998-10-23 | |
* | no futher instructions in share-site-startup needed | 1998-10-23 | |
* | modified local installation procedure | 1998-10-21 | |
* | Filename comment | 1998-10-20 | |
* | support environmental variable PROOFGENERAL | 1998-10-19 | |
* | support for nested goals is now restricted to Coq | 1998-10-18 | |
* | *** empty log message *** | 1998-10-18 |