diff options
| author | David Aspinall | 1999-11-14 12:17:41 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-14 12:17:41 +0000 |
| commit | 5dd305339e5b4f1ab8883349301916a3d2ac118f (patch) | |
| tree | a353b872c054f2ff1e38bd6b536d428de3454ced | |
| parent | b987d7b68b2ae14ddc30710d7e733d9c28c41667 (diff) | |
docstring
| -rw-r--r-- | generic/proof-syntax.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index f5c7668b..6f887f9a 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -13,8 +13,7 @@ ;; FIXME da: would regexp-opt be better here? Or maybe ;; (concat "\\<" (regexp-opt l) "\\>") (defun proof-ids-to-regexp (l) - "transforms a non-empty list of identifiers `l' into a regular - expression matching any of its elements" + "Maps a non-empty list of tokens `l' to a regexp matching any element" (mapconcat (lambda (s) (concat "\\<" s "\\>")) l "\\|")) (defun proof-anchor-regexp (e) |