diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 7 | ||||
| -rw-r--r-- | generic/proof-depends.el | 3 |
2 files changed, 9 insertions, 1 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 diff --git a/generic/proof-depends.el b/generic/proof-depends.el index 163a0968..c3de97f7 100644 --- a/generic/proof-depends.el +++ b/generic/proof-depends.el @@ -120,7 +120,8 @@ Called from `proof-done-advancing' when a save is processed and 'type)))) (span-set-property gspan 'dependencies-within-file depspans) - (setq proof-last-theorem-dependencies nil))) + (setq proof-last-theorem-dependencies nil) + (funcall 'proof-dependencies-system-specific name gspan))) |