Commit message (Expand) | 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 | |
* | Basic instructions that come with package | 1998-05-05 |