diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-11-03 18:06:54 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-03 18:06:54 +0000 |
commit | 4a9c2da087829312adff30e39d28faa101c795f0 (patch) | |
tree | 35120a5468b90a316fe1d44f0ba4971cafc39cfb /INSTALL | |
parent | b88f7a0d2d6b8faf330bb7cf074b22e1da757a2b (diff) |
Updated and improved.
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 19 |
1 files changed, 12 insertions, 7 deletions
@@ -4,13 +4,17 @@ Instructions for installing Proof General This file describes what to do to be able to run Proof General. Please let us know if you have any problems in trying to install it. -Unpack this distribution in some <directory>. Put this line in your -.emacs file: +Unpack this distribution somewhere. It will create a top-level +directory containing Proof General, called Proof-General-<something>. +Put this line in your emacs file: - (load-file "<directory>/generic/proof-site.el") + (load-file "<proofgeneral-home>/generic/proof-site.el") -This will set the Emacs load path and add auto-loads for the -assistants below: +Where <proofgeneral-home> is replaced by the full path to the +top-level directory made when you unpacked the distribution. + +The command above will set the Emacs load path and add auto-loads for +the assistants below: .v Coq files .l LEGO files @@ -19,8 +23,9 @@ assistants below: When you load a file with one of these extensions, the corresponding Proof General mode will be entered. -In case of difficulty, please check the notes below and the file BUGS. -If this doesn't help, then contact us via the address below. +In case of difficulty, please check the documentation in doc/, the +notes below, and the file BUGS. If this doesn't help, then contact us +via the address below. Proof General maintainer <proofgen@dcs.ed.ac.uk> School of Computer Science, |