From 33ede61aa5a5f7aa7400620ba275664d4a8a9190 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 29 Sep 2000 18:47:11 +0000 Subject: Update URLs and mail aliases. Mention script, and extensions for new provers --- INSTALL | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index 50829884..474636e8 100644 --- a/INSTALL +++ b/INSTALL @@ -11,14 +11,21 @@ Put this line in your .emacs file: (load-file "/generic/proof-site.el") Where is replaced by the full path name to -Proof-General-. +Proof-General-. 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 + Proof General maintainer LFCS, Division Of Informatics, University of Edinburgh. Edinburgh. - http://www.dcs.ed.ac.uk/home/proofgen + http://www.proofgeneral.org -- cgit v1.2.3