Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Updated install script after finding problems with Savi's setup. | 1998-05-14 | |
| | |||
* | Added comments about info file and default values in coq.el. | 1998-05-06 | |
| | |||
* | Simpler procedure for compiling emacs lisp. | 1998-05-06 | |
| | | | | Added coq-info-dir so that script-management.info can be hard-coded. | ||
* | Basic instructions that come with package | 1998-05-05 | |