aboutsummaryrefslogtreecommitdiff
path: root/INSTALL
AgeCommit message (Collapse)Author
2018-08-15Update INSTALLJavier
2016-02-10Update READMEClément Pit--Claudel
2009-09-21UpdatesDavid Aspinall
2009-09-15Describe make scriptsDavid Aspinall
2009-09-04*** empty log message ***David Aspinall
2009-09-01UpdatesDavid Aspinall
2008-07-10Updated.David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Updated.David Aspinall
2007-12-12Updated.David Aspinall
2005-07-15Updated.David Aspinall
2005-05-17Updated.David Aspinall
2004-05-20Tip about fink xemacs-sumo packageDavid Aspinall
2004-05-19Mention sumoDavid Aspinall
2004-05-19Updated.David Aspinall
2004-04-17Mention supported Emacs versionsDavid Aspinall
2004-04-16Use own name instead of hiding behind mythical PG teamDavid Aspinall
2004-03-01Update to mention multiple packages, etc.David Aspinall
2003-12-11Fix domain nameDavid Aspinall
2003-04-22Note about .elcsDavid Aspinall
2002-08-08UpdatesDavid Aspinall
2002-01-31Update for recent releases.David Aspinall
2001-09-04UpdatesDavid Aspinall
2001-09-03Updating branchDavid Aspinall
2001-09-03Move specific install instructions into subdirsDavid Aspinall
2000-10-02Caveats about using elcs.David Aspinall
2000-09-29Update URLs and mail aliases. Mention script, and extensions for new proversDavid Aspinall
2000-09-29Note about packages neededDavid Aspinall
2000-09-23UpdatedDavid Aspinall
2000-06-09Message about packages needed (incomplete)David Aspinall
2000-03-23Notes about using on WindowsDavid Aspinall
1999-11-26Mention .emacs line for RPM package, and default.el.David Aspinall
1999-11-23Mention path of bash in interface scriptsDavid Aspinall
1999-11-18More optimistic about byte comp.David Aspinall
1999-11-17UpdatedDavid Aspinall
1999-10-12Removed note about probs with update()David Aspinall
1998-12-11Explained one-prover issue better.David Aspinall
1998-11-12Minor fixes/improvementsDavid Aspinall
1998-11-03Updated and improved.David Aspinall
1998-10-27Added instructions for byte compilation, and other notes.David Aspinall
1998-10-12added note about Emacs versionsDavid Aspinall
1998-10-12Customize also works in FSFmacs nowDavid Aspinall
1998-10-07Added some notes for IsabelleDavid Aspinall
1998-10-02Removed erroneous mention of an elisp directoryDavid Aspinall
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-09-24Added note about changing perl path in {coq,lego}tags.David Aspinall
1998-09-23Updated instructionsDavid Aspinall
1998-05-14Updated install script after finding problems with Savi's setup.Healfdene Goguen
1998-05-06Added comments about info file and default values in coq.el.Healfdene Goguen
1998-05-06Simpler procedure for compiling emacs lisp.Healfdene Goguen
Added coq-info-dir so that script-management.info can be hard-coded.
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:08:35 +0000