diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-12 12:32:54 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-12 12:32:54 +0000 |
| commit | e03a4d39d7a3c769e8384580829a697a65d1e3cf (patch) | |
| tree | efe37fa3bc10d72edee1e31c60c3739eb59dac53 /generic/proof-site.el | |
| parent | d44ae69502e825036daba4773b84c8ccfdcab9e3 (diff) | |
Removed proof-internal cus grp from proof group.
Diffstat (limited to 'generic/proof-site.el')
| -rw-r--r-- | generic/proof-site.el | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index bf34cbc7..eda5261c 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -22,12 +22,17 @@ :group 'processes) -;; Master table of supported assistants. - +;; This customization group gathers together +;; the internals of Proof General which control +;; configuration to different proof assistants. +;; This is for development purposes rather than +;; user-level customization, so this group does +;; not belong to 'proof (or any other group). (defgroup proof-internal nil - "Customization of Proof General internals." - :group 'proof) + "Customization of Proof General internals.") + +;; Master table of supported assistants. (defcustom proof-internal-assistant-table '((isa "Isabelle" "\\.ML$\\|\\.thy$") (lego "LEGO" "\\.l$") |