index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
INSTALL
Commit message (
Collapse
)
Author
Age
*
Update for recent releases.
David Aspinall
2002-01-31
|
*
Updates
David Aspinall
2001-09-04
|
*
Updating branch
David Aspinall
2001-09-03
|
*
Move specific install instructions into subdirs
David Aspinall
2001-09-03
|
*
Caveats about using elcs.
David Aspinall
2000-10-02
|
*
Update URLs and mail aliases. Mention script, and extensions for new provers
David Aspinall
2000-09-29
|
*
Note about packages needed
David Aspinall
2000-09-29
|
*
Updated
David Aspinall
2000-09-23
|
*
Message about packages needed (incomplete)
David Aspinall
2000-06-09
|
*
Notes about using on Windows
David Aspinall
2000-03-23
|
*
Mention .emacs line for RPM package, and default.el.
David Aspinall
1999-11-26
|
*
Mention path of bash in interface scripts
David Aspinall
1999-11-23
|
*
More optimistic about byte comp.
David Aspinall
1999-11-18
|
*
Updated
David Aspinall
1999-11-17
|
*
Removed note about probs with update()
David Aspinall
1999-10-12
|
*
Explained one-prover issue better.
David Aspinall
1998-12-11
|
*
Minor fixes/improvements
David Aspinall
1998-11-12
|
*
Updated and improved.
David Aspinall
1998-11-03
|
*
Added instructions for byte compilation, and other notes.
David Aspinall
1998-10-27
|
*
added note about Emacs versions
David Aspinall
1998-10-12
|
*
Customize also works in FSFmacs now
David Aspinall
1998-10-12
|
*
Added some notes for Isabelle
David Aspinall
1998-10-07
|
*
Removed erroneous mention of an elisp directory
David Aspinall
1998-10-02
|
*
Updated maintainer tags to remove lego email address.
David Aspinall
1998-10-01
|
*
Added note about changing perl path in {coq,lego}tags.
David Aspinall
1998-09-24
|
*
Updated instructions
David Aspinall
1998-09-23
|
*
Updated install script after finding problems with Savi's setup.
Healfdene Goguen
1998-05-14
|
*
Added comments about info file and default values in coq.el.
Healfdene Goguen
1998-05-06
|
*
Simpler procedure for compiling emacs lisp.
Healfdene Goguen
1998-05-06
|
|
|
|
Added coq-info-dir so that script-management.info can be hard-coded.
*
Basic instructions that come with package
Healfdene Goguen
1998-05-05