diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2004-05-11 14:17:09 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2004-05-11 14:17:09 +0000 |
commit | 97d224ef213d03bb52e8bb5c4b5b4168d124fa8e (patch) | |
tree | f6e1ce574257d86ebe39961acc451e884c231693 | |
parent | 36677cf91e31421e7f0cd49f000ab8f4709218af (diff) |
adding the "Comments" keyword in state-preserving commands.
-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" |