From 113a83d751f3fc51fc6fc6655e3ee77f488b2793 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann <da+pg-tms@inf.ed.ac.uk>
Date: Wed, 3 Feb 1999 15:55:42 +0000
Subject: fixed syntax entry for "_"

---
 lego/lego-syntax.el | 10 ++++++++++
 lego/lego.el        | 13 -------------
 2 files changed, 10 insertions(+), 13 deletions(-)

(limited to 'lego')

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 ()
 
-- 
cgit v1.2.3