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