diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-08-28 16:52:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-28 16:52:50 +0000 |
| commit | 5a57dee583da2c51746ad5ac6241ece6c2d4a8bf (patch) | |
| tree | 7b5e450bdca46f75d82aaab8d3ef21b045f95ab2 /coq/coq-local-vars.el | |
| parent | 23be9ac8b48eed2a66ef8634309a01383c41cd00 (diff) | |
Doc fix
Diffstat (limited to 'coq/coq-local-vars.el')
| -rw-r--r-- | coq/coq-local-vars.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/coq/coq-local-vars.el b/coq/coq-local-vars.el index deaed341..0d7e5926 100644 --- a/coq/coq-local-vars.el +++ b/coq/coq-local-vars.el @@ -38,7 +38,7 @@ file. Here is an example for Coq users: for the file .../dir/bar/foo.v, if you want Coq to be started with the path .../dir/theories/ added in the libraries path (\"-I\" option), you can put at the end of foo.v: -(* +\(* *** Local Variables: *** *** coq-prog-name: \"coqtop\" *** *** coq-prog-args: (\"-emacs\" \"-I\" \"../theories\") *** @@ -58,7 +58,7 @@ directory .../dir/, you can add the right compile command. And if you want a non standard coq executable to be used, here is what you should put in variables: -(* +\(* Local Variables: coq-prog-name: \"../../coqsrc/bin/coqtop\" coq-prog-args: \"-emacs\" \"-I\" \"../theories\" |