diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-02-19 14:17:31 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-19 14:17:31 +0000 |
commit | 7ffb938dd2675b95505c410df3b153b82ca7aea1 (patch) | |
tree | 880e7a54b50bd10bb70b9e1b82ced6a4c130c108 /generic/pg-goals.el | |
parent | 58f90bc4befb95048be676e912a5e6446ab03027 (diff) |
Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.
Diffstat (limited to 'generic/pg-goals.el')
-rw-r--r-- | generic/pg-goals.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/pg-goals.el b/generic/pg-goals.el index 45a3b8a0..9c7365bc 100644 --- a/generic/pg-goals.el +++ b/generic/pg-goals.el @@ -74,7 +74,7 @@ May enable proof-by-pointing or similar features. (defun proof-goals-config-done () "Initialise the goals buffer after the child has been configured." (proof-font-lock-configure-defaults nil) - (proof-x-symbol-configure)) + (proof-x-symbol-config-output-buffer)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |