diff options
| -rw-r--r-- | coq/coq-syntax.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index d8df5353..3c1e27e4 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -301,6 +301,7 @@ Print and Check commands, put the following line in your .emacs: "Add\\s-+Rec\\s-+LoadPath" "Cd" "Check" + "Comments" "DelPath" "Eval" "Extraction" |