Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |