diff options
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index b5993547..6615e584 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -106,6 +106,8 @@ Print and Check commands, put the following line in your .emacs: "Cd" "Check" "DelPath" +"Define" +"Qed" "End" "End\\s-+Silent" "Eval" @@ -135,6 +137,7 @@ Print and Check commands, put the following line in your .emacs: "Show\\s-+Proof" "Show\\s-+Script" "Show" +"Save" "Unfocus" ; ??? ) coq-user-non-backable-commands |