aboutsummaryrefslogtreecommitdiffhomepage
path: root/INSTALL
Commit message (Expand)AuthorAge
* UpdatesGravatar David Aspinall2009-09-21
* Describe make scriptsGravatar David Aspinall2009-09-15
* *** empty log message ***Gravatar David Aspinall2009-09-04
* UpdatesGravatar David Aspinall2009-09-01
* Updated.Gravatar David Aspinall2008-07-10
* Updated.Gravatar David Aspinall2008-01-31
* Updated.Gravatar David Aspinall2008-01-31
* Updated.Gravatar David Aspinall2007-12-12
* Updated.Gravatar David Aspinall2005-07-15
* Updated.Gravatar David Aspinall2005-05-17
* Tip about fink xemacs-sumo packageGravatar David Aspinall2004-05-20
* Mention sumoGravatar David Aspinall2004-05-19
* Updated.Gravatar David Aspinall2004-05-19
* Mention supported Emacs versionsGravatar David Aspinall2004-04-17
* Use own name instead of hiding behind mythical PG teamGravatar David Aspinall2004-04-16
* Update to mention multiple packages, etc.Gravatar David Aspinall2004-03-01
* Fix domain nameGravatar David Aspinall2003-12-11
* Note about .elcsGravatar David Aspinall2003-04-22
* UpdatesGravatar David Aspinall2002-08-08
* Update for recent releases.Gravatar David Aspinall2002-01-31
* UpdatesGravatar David Aspinall2001-09-04
* Updating branchGravatar David Aspinall2001-09-03
* Move specific install instructions into subdirsGravatar David Aspinall2001-09-03
* Caveats about using elcs.Gravatar David Aspinall2000-10-02
* Update URLs and mail aliases. Mention script, and extensions for new proversGravatar David Aspinall2000-09-29
* Note about packages neededGravatar David Aspinall2000-09-29
* UpdatedGravatar David Aspinall2000-09-23
* Message about packages needed (incomplete)Gravatar David Aspinall2000-06-09
* Notes about using on WindowsGravatar David Aspinall2000-03-23
* 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