diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-08 05:34:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-08 05:34:23 +0000 |
| commit | 37d2b52528f077fcfe708f9b5dd77a1b4edac908 (patch) | |
| tree | 81e492178a4271ee6292ebeaa411edd5a6b57615 /generic | |
| parent | 1c874544ecdc2d23c8a31fe322f1b7cc4e78185a (diff) | |
Fix to uses of dolist for compatibility with Japan Emacs versions (older CLmacs)
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-syntax.el | 5 | ||||
| -rw-r--r-- | generic/texi-docstring-magic.el | 2 |
2 files changed, 4 insertions, 3 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index fd6a746f..07591a06 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -24,9 +24,10 @@ "Return the regexp which matches any of the regexps ARGS." ;; Is this not available in some library? (let ((res "")) - (dolist (regexp args res) + (dolist (regexp args) (setq res (concat res (if (string-equal res "") "\\(" "\\|\\(") - regexp "\\)"))))) + regexp "\\)"))) + res)) (defun proof-regexp-region (start end) "Return regexp matching START anything over several lines END." diff --git a/generic/texi-docstring-magic.el b/generic/texi-docstring-magic.el index a474a812..f9c660f2 100644 --- a/generic/texi-docstring-magic.el +++ b/generic/texi-docstring-magic.el @@ -191,7 +191,7 @@ including any whitespace included to delimit matches.") "Markup DOCSTRING for texi according to regexp matches." (let ((case-fold-search nil)) (setq docstring (texi-docstring-magic-untabify docstring)) - (dolist (test texi-docstring-magic-munge-table docstring) + (dolist (test texi-docstring-magic-munge-table) (let ((regexp (nth 0 test)) (predicate (nth 1 test)) (replace (nth 2 test)) |