diff options
Diffstat (limited to 'lego')
| -rw-r--r-- | lego/lego-syntax.el | 10 | ||||
| -rw-r--r-- | lego/lego.el | 13 |
2 files changed, 10 insertions, 13 deletions
diff --git a/lego/lego-syntax.el b/lego/lego-syntax.el index a49ee574..9feb283a 100644 --- a/lego/lego-syntax.el +++ b/lego/lego-syntax.el @@ -100,4 +100,14 @@ (list lego-goal-with-hole-regexp 2 'font-lock-function-name-face) (list lego-save-with-hole-regexp 2 'font-lock-function-name-face)))) +(defun lego-init-syntax-table () + "Set appropriate values for syntax table in current buffer." + + (modify-syntax-entry ?_ "_") + (modify-syntax-entry ?\' "_") + (modify-syntax-entry ?\| ".") + (modify-syntax-entry ?\* ". 23") + (modify-syntax-entry ?\( "()1") + (modify-syntax-entry ?\) ")(4")) + (provide 'lego-syntax) diff --git a/lego/lego.el b/lego/lego.el index 5711a000..5b34d6bc 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -338,19 +338,6 @@ Checks the width in the `proof-goals-buffer'" proof-mode-for-response 'lego-response-mode proof-mode-for-pbp 'lego-pbp-mode)) -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; Configuring proof and pbp mode and setting up various utilities ;; -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; - -(defun lego-init-syntax-table () - "Set appropriate values for syntax table in current buffer." - - (modify-syntax-entry ?_ "w") - (modify-syntax-entry ?\' "_") - (modify-syntax-entry ?\| ".") - (modify-syntax-entry ?\* ". 23") - (modify-syntax-entry ?\( "()1") - (modify-syntax-entry ?\) ")(4")) (defun lego-mode-config () |