From 113a83d751f3fc51fc6fc6655e3ee77f488b2793 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Wed, 3 Feb 1999 15:55:42 +0000
Subject: fixed syntax entry for "_"

---
 isa/isa.el | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index 73e47061..a94150a2 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -609,10 +609,7 @@ Resulting output from Isabelle will be parsed by Proof General."
   (setq proof-mode-for-shell    'isa-shell-mode)
   (setq proof-mode-for-pbp	'isa-pbp-mode))
 
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;   Configuring proof and pbp mode and setting up various utilities  ;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
+; FIXME: IMHO (tms) this ought to be defined in isa-syntax and not here.
 (defun isa-init-syntax-table ()
   "Set appropriate values for syntax table in current buffer."
   (modify-syntax-entry ?\$ ".")
-- 
cgit v1.2.3