Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Removed erroneous mention of an elisp directory | David Aspinall | 1998-10-02 |
| | |||
* | Updated maintainer tags to remove lego email address. | David Aspinall | 1998-10-01 |
| | |||
* | Added note about changing perl path in {coq,lego}tags. | David Aspinall | 1998-09-24 |
| | |||
* | Updated instructions | David Aspinall | 1998-09-23 |
| | |||
* | Updated install script after finding problems with Savi's setup. | Healfdene Goguen | 1998-05-14 |
| | |||
* | Added comments about info file and default values in coq.el. | Healfdene Goguen | 1998-05-06 |
| | |||
* | Simpler procedure for compiling emacs lisp. | Healfdene Goguen | 1998-05-06 |
| | | | | Added coq-info-dir so that script-management.info can be hard-coded. | ||
* | Basic instructions that come with package | Healfdene Goguen | 1998-05-05 |