diff options
| author | Pierre Courtieu | 2004-02-11 16:40:32 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-02-11 16:40:32 +0000 |
| commit | 783f894cf4d80314cef62bfde204c6f8dcd1ffbf (patch) | |
| tree | bd1a9d6e8add944add7442903180757a3bea80b6 | |
| parent | 5fc999f14be71376ef928832f3188cb1a50f472f (diff) | |
little error in the syntax corrected.
| -rw-r--r-- | coq/coq-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 54349f72..bbca7abc 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -236,7 +236,7 @@ Print and Check commands, put the following line in your .emacs: "SearchRewrite" "Set\\s-+Hyps_limit" "Set\\s-+Undo" - "Set\\s-+Set\\s-+Printing\\s-+Coercion[^s]" + "Set\\s-+Printing\\s-+Coercion[^s]" "Show" "Test\\s-+Printing\\s-+If" "Test\\s-+Printing\\s-+Let" |