diff options
Diffstat (limited to 'coq/coq-abbrev.el')
| -rw-r--r-- | coq/coq-abbrev.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 6f156a8c..ba1c2f3d 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -31,7 +31,6 @@ (defconst coq-tacticals-abbrev-table (coq-build-abbrev-table-from-db coq-tacticals-db)) - (defconst coq-commands-menu (append '("INSERT COMMAND" ["Module/Section (smart)" coq-insert-section-or-module t] |