diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2008-01-03 19:46:45 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2008-01-03 19:46:45 +0000 |
| commit | a06c46188f73f488b0ac860d30e9e9037468543b (patch) | |
| tree | 68dfb7c5f298921405542d4cdc91850318c5886c /coq/coq-db.el | |
| parent | cd51d90608b090a030a26883035888d673b935d9 (diff) | |
Fixed abbrev installation. + small fixes.
Diffstat (limited to 'coq/coq-db.el')
| -rw-r--r-- | coq/coq-db.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/coq/coq-db.el b/coq/coq-db.el index ecbd4e17..87ec0f4e 100644 --- a/coq/coq-db.el +++ b/coq/coq-db.el @@ -17,7 +17,7 @@ ;;; Code: (require 'proof-utils) ; for proof-face-specs, a macro - +(require 'holes) (defconst coq-syntax-db nil "Documentation-only variable, for coq keyword databases. @@ -173,7 +173,7 @@ Submenus contain SIZE entries (default 30). See `coq-syntax-db' for DB structure." (let* ((l (coq-sort-menu-entries db)) (res ()) - (wdth (+ 2 (max-length-db coq-tactics-db))) + (wdth (+ 2 (max-length-db db))) (sz (or size 30)) (lgth (length l))) (while l (if (<= lgth sz) @@ -200,7 +200,8 @@ See `coq-syntax-db' for DB structure." (e3 (car tl2)) (tl3 (cdr tl2)) ; e3 = completion ) ;; careful: nconc destructive! - (when e2 (setq res (nconc res (list `(,e2 ,e3 holes-abbrev-complete))))) + (when e2 + (setq res (nconc res (list `(,e2 ,e3 holes-abbrev-complete))))) (setq l tl))) res)) |