diff options
| author | David Aspinall | 2000-05-26 18:17:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-26 18:17:14 +0000 |
| commit | c2889346242bf224915d1bfe7f22f3d5f3bf05e5 (patch) | |
| tree | d142935d08c85ca47068f69d08ccdccaf2e99156 /generic | |
| parent | 818dc1ee0fb4bf99e173fd67508cfcf44919182b (diff) | |
Docstring.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index 4f58c795..2ad0a40d 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -18,7 +18,7 @@ (mapconcat (lambda (s) (concat "\\<" s "\\>")) l "\\|")) (defun proof-anchor-regexp (e) - "Anchor (^) and group the regexp." + "Anchor (^) and group the regexp E." (concat "^\\(" e "\\)")) (defun proof-regexp-alt (&rest args) |