diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2015-03-13 14:45:17 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2015-03-13 14:45:17 +0000 |
| commit | 625306144bbb565fccf6e4be61433e4fe7fc1b6d (patch) | |
| tree | 4351d6e1e761e7f393444a35918dae08ecead2b9 /coq/coq-syntax.el | |
| parent | 5ea901126a1b385cb9b490275fd9737f54b139ca (diff) | |
Some comments for future work.
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 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") |