diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-09-18 14:16:53 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-18 14:16:53 +0000 |
commit | e7d7e7e44f2ef8563a3eada5c994fdeeeb56f42e (patch) | |
tree | fbb3963cdbcb1095b443bf0c91420ecd57a492c7 /generic/proof-compat.el | |
parent | caaee83b3543e0968818ccba95b846045fdf8279 (diff) |
Added bug fix section and patch for undefined
font-lock-preprocessor-face in FSF Emacs.
Diffstat (limited to 'generic/proof-compat.el')
-rw-r--r-- | generic/proof-compat.el | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/generic/proof-compat.el b/generic/proof-compat.el index 8bf90643..a7d4a8af 100644 --- a/generic/proof-compat.el +++ b/generic/proof-compat.el @@ -233,8 +233,17 @@ Otherwise treat \\ in NEWTEXT string as special: -;; FIXME: todo: keybinding compat here, esp for mouse. -;; See Isamode and emu.el for ideas. +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;; +;;; Nasty: Emacs bug/problem fix section +;;; + + +;; Error in FSF emacs that this is undefined. I haven't time to +;; investigate why. +(unless proof-running-on-XEmacs + (defvar font-lock-preprocessor-face nil)) + ;; End of proof-compat.el |