diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 18:47:11 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 18:47:11 +0000 |
commit | 33ede61aa5a5f7aa7400620ba275664d4a8a9190 (patch) | |
tree | b405feee298b4f3abdd094556e6ef877b66f4bc2 /INSTALL | |
parent | 24f9460f96fb8f6b5099b8cdcde6cdcdc09afb84 (diff) |
Update URLs and mail aliases. Mention script, and extensions for new provers
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 15 |
1 files changed, 11 insertions, 4 deletions
@@ -11,14 +11,21 @@ Put this line in your .emacs file: (load-file "<proofgeneral-home>/generic/proof-site.el") Where <proofgeneral-home> is replaced by the full path name to -Proof-General-<something>. +Proof-General-<something>. If you prefer not to edit .emacs, +you can use the script in bin/proofgeneral to launch Emacs with +Proof General loaded. The command above will set the Emacs load path and add auto-loads for the assistants below: .v Coq files .l LEGO files - .thy,.ML Isabelle files + .thy Isabelle files + .ML Isabelle files + .af2 AF2 files + .sml HOL98 files + .elf Twelf files + .acl2 ACL2 files When you load a file with one of these extensions, the corresponding Proof General mode will be entered. @@ -29,13 +36,13 @@ via the address below. - David Aspinall. - Proof General maintainer <proofgen@dcs.ed.ac.uk> + Proof General maintainer <support@proofgeneral.org> LFCS, Division Of Informatics, University of Edinburgh. Edinburgh. - http://www.dcs.ed.ac.uk/home/proofgen + http://www.proofgeneral.org |