diff options
author | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-11-01 19:24:34 +0000 |
---|---|---|
committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-11-01 19:24:34 +0000 |
commit | c25e3c1a1c3c12a81f90b0a20321ca9734634032 (patch) | |
tree | c9f28dc5bdde334f820253ec8276856643b74119 /generic/proof-toolbar.el | |
parent | 00c337af2ea574baf01a26581b80aa1fd955e2f0 (diff) |
o added support for byte-compilation
o removed hhg tags in todo
o fixed font-lock for FSF Emacs 20.2
o ensured that goals buffer is updated for longer queues
o fixed a bug in proof-universal-keys-only-mode
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r-- | generic/proof-toolbar.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 2686ccb3..7082cfbb 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -11,6 +11,7 @@ ;; (require 'proof-script) +(autoload 'proof-shell-live-buffer "proof-shell") (defconst proof-toolbar-default-button-list '(proof-toolbar-goal-button |