From 5a57dee583da2c51746ad5ac6241ece6c2d4a8bf Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 28 Aug 2009 16:52:50 +0000 Subject: Doc fix --- coq/coq-local-vars.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'coq/coq-local-vars.el') 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\" -- cgit v1.2.3