diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-02-22 16:24:45 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-22 16:24:45 +0000 |
| commit | e4d944182aa41adbba7a4509f04742201c75cd00 (patch) | |
| tree | bb20813adf476dd19b69d004578566b5e260e681 /isa | |
| parent | 98d4de4baed7882c5166d7dfc50c79f9f5732303 (diff) | |
Experiments with auto-style
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/x-symbol-isabelle.el | 30 |
1 files changed, 30 insertions, 0 deletions
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) |