From 636a83078ec5271a07ba78fd5d02ce5e9f1f4a86 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 14 Dec 2007 13:13:58 +0000 Subject: Fix compilation problems and rearrange startup settings for coq-prog-name,coq-prog-args --- coq/coq-db.el | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'coq/coq-db.el') 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 ;; 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) -- cgit v1.2.3