diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 13:13:58 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 13:13:58 +0000 |
commit | 636a83078ec5271a07ba78fd5d02ce5e9f1f4a86 (patch) | |
tree | aa1e8021d55c2711f0d067949ff0360d2901f976 /coq/coq-db.el | |
parent | d35efd03218733c5b45ca064fcd889af6fd61676 (diff) |
Fix compilation problems and rearrange startup settings for coq-prog-name,coq-prog-args
Diffstat (limited to 'coq/coq-db.el')
-rw-r--r-- | coq/coq-db.el | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/coq/coq-db.el b/coq/coq-db.el index 5d9e0d65..95b32bd9 100644 --- a/coq/coq-db.el +++ b/coq/coq-db.el @@ -2,7 +2,7 @@ ;; ;; Author: Pierre Courtieu <courtieu@lri.fr> ;; License: GPL (GNU GENERAL PUBLIC LICENSE) - +;; ;;; We store all information on keywords (tactics or command) in big ;; tables (ex: `coq-tactics-db') From there we get: menus including @@ -15,6 +15,10 @@ ;; ;;; Code: + +;(require 'proof-config) ; for proof-face-specs, a macro + + (defconst coq-syntax-db nil "Documentation-only variable, for coq keyword databases. Each element of a keyword database contains the definition of a \"form\", of the @@ -211,8 +215,8 @@ See `coq-syntax-db' for DB structure." (defface coq-solve-tactics-face (proof-face-specs (:foreground "red" t) ; pour les fonds clairs - (:forground "red" t) ; pour les fond foncés - t) ; pour le noir et blanc + (:foreground "red" t) ; pour les fond foncés + ()) ; pour le noir et blanc "Face for names of closing tactics in proof scripts." :group 'proof-faces) |