diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-19 17:30:39 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-19 17:30:39 +0000 |
| commit | fb4e1fc345c0d6b52243f8d381190b39a08b1c62 (patch) | |
| tree | e1d05755cbeda24692310db15355c1432191e454 /generic/proof-config.el | |
| parent | 2ea99615a3882ef126a72068adbff603d47efe87 (diff) | |
Removed spurious defn of proof-config.el
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 1f95e35a..2d4b24d4 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1641,16 +1641,6 @@ tokens (for example, editing documentation or source code files)." :type '(repeat symbol) :group 'proof-x-symbol) -(defcustom proof-xsym-extra-modes nil - "List of additional mode names to use X-Symbol with Proof General tokens. -These modes will have X-Symbol enabled for the proof assistant token language, -in addition to the four modes for Proof General (script, shell, response, pbp). - -Set this variable if you want additional modes to also display -tokens (for example, editing documentation or source code files)." - :type '(repeat symbol) - :group 'proof-x-symbol) - (defcustom proof-xsym-font-lock-keywords nil "Font lock keywords to use for the proof assistants X-Symbol token language." :type 'sexp |