diff options
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index f9947757..41c5e9d7 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1758,6 +1758,13 @@ This hook is used within Proof General to refresh the toolbar." :type '(repeat function) :group 'proof-shell) +;;;;;; +(defcustom proof-dependencies-system-specific nil + "doc TODO" + :type '(repeat function) + :group 'proof-shell) +;;;;; + (defcustom proof-shell-syntax-table-entries nil "List of syntax table entries for proof script mode. A flat list of the form |