Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added some notes for Isabelle | David Aspinall | 1998-10-07 |
* | 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 |
* | Basic instructions that come with package | Healfdene Goguen | 1998-05-05 |