Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added some notes for Isabelle | 1998-10-07 | |
* | Removed erroneous mention of an elisp directory | 1998-10-02 | |
* | Updated maintainer tags to remove lego email address. | 1998-10-01 | |
* | Added note about changing perl path in {coq,lego}tags. | 1998-09-24 | |
* | Updated instructions | 1998-09-23 | |
* | 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 |