From 54c9e82a2ad7623191f54c914c8c0ecc26b38613 Mon Sep 17 00:00:00 2001 From: Healfdene Goguen Date: Wed, 6 May 1998 16:38:03 +0000 Subject: Added comments about info file and default values in coq.el. --- INSTALL | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/INSTALL b/INSTALL index 8771d108..10881ad8 100644 --- a/INSTALL +++ b/INSTALL @@ -1,3 +1,11 @@ +Put the compiled emacs files and the file script-management.info in a +suitable directory for local emacs files, as suggested by your system +administrator. Otherwise, alter the coq-info-dir in coq.el to a +hard-coded path where you put the file script-management.info. + +Check the values of coq-tags and coq-prog-name in coq.el to see that +they correspond to the paths for coqtop and the library on your system. + To install, put the .el files in an appropriate directory and compile them using `byte-compile-file' in xemacs: M-0 M-x byte-recompile-directory @@ -5,11 +13,6 @@ them using `byte-compile-file' in xemacs: If you want to use this mode for Coq, you need to make sure you have an appropriate version, which is from later than 1 March 1998. -Put the compiled emacs files and the file script-management.info in a -suitable directory for local emacs files, as suggested by your system -administrator. Otherwise, alter the coq-info-dir in coq.el to a -hard-coded path where you put the file script-management.info. - Install coqtags or legotags in a standard place. If you are running Coq, generate a TAGS file for the library by running -- cgit v1.2.3