diff options
| -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 c845574c..b817aafe 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -503,6 +503,9 @@ so for the following reasons: ) ;; TODO: dig other queries from the refman. +;; Extraction command may go here +;; all Print, Show and Test stuff +;; Some of the Set/Unset (like Set Printing All, Set Extraction Inline etc) (defvar coq-queries-commands-db '( ("About" nil "About #." nil "About") |