aboutsummaryrefslogtreecommitdiffhomepage
path: root/INSTALL
Commit message (Expand)AuthorAge
* Mention .emacs line for RPM package, and default.el.Gravatar David Aspinall1999-11-26
* Mention path of bash in interface scriptsGravatar David Aspinall1999-11-23
* More optimistic about byte comp.Gravatar David Aspinall1999-11-18
* UpdatedGravatar David Aspinall1999-11-17
* Removed note about probs with update()Gravatar David Aspinall1999-10-12
* Explained one-prover issue better.Gravatar David Aspinall1998-12-11
* Minor fixes/improvementsGravatar David Aspinall1998-11-12
* Updated and improved.Gravatar David Aspinall1998-11-03
* Added instructions for byte compilation, and other notes.Gravatar David Aspinall1998-10-27
* added note about Emacs versionsGravatar David Aspinall1998-10-12
* Customize also works in FSFmacs nowGravatar David Aspinall1998-10-12
* Added some notes for IsabelleGravatar David Aspinall1998-10-07
* Removed erroneous mention of an elisp directoryGravatar David Aspinall1998-10-02
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Added note about changing perl path in {coq,lego}tags.Gravatar David Aspinall1998-09-24
* Updated instructionsGravatar David Aspinall1998-09-23
* Updated install script after finding problems with Savi's setup.Gravatar Healfdene Goguen1998-05-14
* Added comments about info file and default values in coq.el.Gravatar Healfdene Goguen1998-05-06
* Simpler procedure for compiling emacs lisp.Gravatar Healfdene Goguen1998-05-06
* Basic instructions that come with packageGravatar Healfdene Goguen1998-05-05