diff options
| author |  Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2004-10-20 08:54:58 +0000 |
|---|---|---|
| committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2004-10-20 08:54:58 +0000 |
| commit | c2be1c070c874c23ddfadb3d90e686113873ae81 (patch) | |
| tree | 530b9ffbf40a22183adf55762e7104d350018979 /generic/proof-script.el | |
| parent | a1a666496908a39530ead7bd82354770e94124e0 (diff) | |
fixed a problem with x-symbol not enables in script buffer
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 92bf48e0..c60ced2b 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2604,7 +2604,9 @@ assistant." ;; Fontlock support. ;; ;; Assume font-lock case folding follows proof-case-fold-search - (proof-font-lock-configure-defaults 'autofontify proof-case-fold-search)) + (proof-font-lock-configure-defaults 'autofontify proof-case-fold-search) + +) |