diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-09-24 17:06:16 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-24 17:06:16 +0000 |
| commit | 0df9e73ede3cac9995538d6144629edc3a2cd40f (patch) | |
| tree | a88d8e29ecd9012ff87e411036bb6a0370d4265e /INSTALL | |
| parent | 3feff0cf305d1a0fbd61fe4881dc22f983d0b1b4 (diff) | |
Added note about changing perl path in {coq,lego}tags.
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -52,6 +52,7 @@ 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. Install coqtags in a standard place or add <proof-home>/coq to your PATH. +NB: You may need to change the path to perl at the top of the file. If you are running Coq, generate a TAGS file for the library by running coqtags `find . -name \*.v -print` @@ -66,6 +67,7 @@ Customization for LEGO Install legotags in a standard place or add <proof-home>/lego to your PATH. +NB: You may need to change the path to perl at the top of the file. ---------------------------------------------------------------------- |