From 625306144bbb565fccf6e4be61433e4fe7fc1b6d Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Fri, 13 Mar 2015 14:45:17 +0000 Subject: Some comments for future work. --- coq/coq-syntax.el | 3 +++ 1 file changed, 3 insertions(+) (limited to 'coq/coq-syntax.el') 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") -- cgit v1.2.3