diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-02 14:20:39 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-02 14:20:39 +0000 |
| commit | 1740210c5f11e2ead43dcbebe055c40f89d08304 (patch) | |
| tree | 06768f51c9baba236276de003d92598495405f0f /INSTALL | |
| parent | ff9f6b02e01fefc8b22957ae4bb1d0f3e8569f6d (diff) | |
Removed erroneous mention of an elisp directory
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ 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: - (load-file "<directory>/elisp/generic/proof-site.el") + (load-file "<directory>/generic/proof-site.el") This will set the Emacs load path and add auto-loads for the assistants below: |