diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-09-28 14:32:37 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-28 14:32:37 +0000 |
commit | 9a909296f8abfcb64d59a796cccab26d8acc7eb0 (patch) | |
tree | 5661da2383bc4117dd04923521c5b4e26529a4e2 /generic | |
parent | 4e7f2739343b8e91dcb61223b19e66e7c6de445f (diff) |
Fix comment.
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index dc6938ec..6d17f002 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -59,7 +59,7 @@ A hack for entities that are named in two places, so that find-next-entity doesn't return the same values twice.") ;; FIXME mmw: maybe handle comments/strings by using -;; proof-looking-at-syntactic-context (XEmacs-only!) +;; proof-looking-at-syntactic-context (defun proof-script-find-next-entity (buffer) "Find the next entity for function menu in a proof script. A value for fume-find-function-name-method-alist for proof scripts. |