From e9ec1e512042c58bf43fa0ec0cc75d8155847d21 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 22 Feb 2003 17:49:17 +0000 Subject: auto-coding-alist --- isa/x-symbol-isabelle.el | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) (limited to 'isa') diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index 231e24d9..5288f5aa 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -502,6 +502,7 @@ See `x-symbol-language-access-alist' for details." (defvar x-symbol-isabelle-encode-alist nil "Internal. Alist used for encoding to Isasym macros.") + ;; FIXME: next two not needed for newer X-Symbol versions. (defvar x-symbol-isabelle-nomule-decode-exec nil "Internal. File name of Isasym decode executable.") @@ -513,6 +514,9 @@ See `x-symbol-language-access-alist' for details." ;; DA: experiments here for X-Symbol 4.45 ;; (defcustom x-symbol-isabelle-auto-style + ;; Following x-symbol SGML, first setting seems to be for + ;; when x-symbol is enabled for Isabelle in a alien buffer, + ;; i.e. *not* already in isar-mode or isa-mode '((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) @@ -522,13 +526,7 @@ See `x-symbol-language-access-alist' for details." :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))) +(defcustom x-symbol-isabelle-auto-coding-alist nil "*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." -- cgit v1.2.3