From df17be9655a0b0e6e23125c37441bdc660933846 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 5 Jun 2000 17:21:10 +0000
Subject: Removed defunct comments

---
 isar/isar-syntax.el | 22 ----------------------
 1 file changed, 22 deletions(-)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index a14ae6de..88ab0f40 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -10,28 +10,6 @@
 (require 'proof-syntax)
 (require 'isar-keywords)
 
-;;; Proof mode customization: how should it work?
-;;;   Presently we have a bunch of variables in proof.el which are
-;;;   set from a bunch of similarly named variables in <engine>-syntax.el.
-;;;
-;;;   Seems a bit daft: why not just have the customization in
-;;;   one place, and settings hardwired in <engine>-syntax.el.
-;;;
-;;;   That way we can see which settings are part of instantiation of
-;;;   proof.el, and which are part of cusomization for <engine>.
-
-;; ------ customize groups
-
-;(defgroup isar-scripting nil
-;  "Customization of Isabelle/Isar script management"
-;  :group 'external
-;  :group 'languages)
-
-;(defgroup isar-syntax nil
-;  "Customization of Isabelle/Isar's syntax recognition"
-;  :group 'isar-scripting)
-
-
 ;; ----- character syntax
 
 (defun isar-init-syntax-table ()
-- 
cgit v1.2.3