aboutsummaryrefslogtreecommitdiff
path: root/INSTALL
AgeCommit message (Expand)Author
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
1998-05-05Basic instructions that come with packageHealfdene Goguen
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 23:29:48 +0000