From e4d944182aa41adbba7a4509f04742201c75cd00 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 22 Feb 2003 16:24:45 +0000
Subject: Experiments with auto-style

---
 isa/x-symbol-isabelle.el | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index 578a0c6a..231e24d9 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -508,4 +508,34 @@ See `x-symbol-language-access-alist' for details."
 (defvar x-symbol-isabelle-nomule-encode-exec nil
   "Internal.  File name of Isasym encode executable.")
 
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; DA: experiments here for X-Symbol 4.45
+;;
+(defcustom x-symbol-isabelle-auto-style
+  '((not (memq major-mode '(isar-mode isa-mode)))
+    (x-symbol-auto-coding-alist x-symbol-isabelle-auto-coding-alist)
+    x-symbol-coding (not x-symbol-mode)
+    x-symbol-mode x-symbol-mode)
+  "TODO"
+  :group 'x-symbol-isabelle
+  :group 'x-symbol-mode
+  :type 'x-symbol-auto-style)
+
+(defcustom x-symbol-isabelle-auto-coding-alist
+  '((
+     ("iso-8859-1" . iso-8859-1)
+     ("iso-8859-2" . iso-8859-2)
+     ("iso-8859-3" . iso-8859-3)
+     ("iso-8859-9" . iso-8859-9)
+     ("iso-8859-15" . iso-8859-15)))
+  "*Alist used to determine the file coding of ISABELLE buffers.
+Used in the default value of `x-symbol-auto-mode-alist'.  See
+variable `x-symbol-auto-coding-alist' for details."
+  :group 'x-symbol-isabelle
+  :group 'x-symbol-mode
+  :type 'x-symbol-auto-coding)
+
+     
+
 (provide 'x-symbol-isabelle)
-- 
cgit v1.2.3