diff options
Diffstat (limited to 'generic/proof-tree.el')
| -rw-r--r-- | generic/proof-tree.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-tree.el b/generic/proof-tree.el index c7afe212..1a01147b 100644 --- a/generic/proof-tree.el +++ b/generic/proof-tree.el @@ -814,6 +814,7 @@ call `proof-tree-make-show-goal-callback', which evaluates to a lambda expressions that you can put into `proof-action-list'." ;;(message "PTSGC %s" state) (proof-tree-update-sequent state) + (run-hooks 'proof-state-change-pre-hook) (run-hooks 'proof-state-change-hook)) (defun proof-tree-make-show-goal-callback (state) |