Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update copyright messages and improve the header of elisp files. | 2018-02-21 | |
| | |||
* | 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 | |