diff options
| author |  Stefan Monnier <monnier@iro.umontreal.ca> | 2012-06-29 16:23:50 +0000 |
|---|---|---|
| committer | Stefan Monnier <monnier@iro.umontreal.ca> | 2012-06-29 16:23:50 +0000 |
| commit | c0bd5544c6c7dcdef9ddd005c952ea5acf68603b (patch) | |
| tree | beec5fbedb963cd7b0eef0d1335a26c76b37ad1f /generic/proof-site.el | |
| parent | ec00c7fe67dc27c13b6b7bab42d60feb66355240 (diff) | |
* generic/pg-user.el (which-func-modes): Fix compiler declaration.
* generic/proof-site.el (assistants): Fix regexp.
Diffstat (limited to 'generic/proof-site.el')
| -rw-r--r-- | generic/proof-site.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index bccb7da6..15aed957 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -318,7 +318,7 @@ the lisp variable `proof-assistants', or the contents of `proof-assistant-table' (regexp (or (nth 3 tableentry) (concat (regexp-quote ".") (regexp-quote (nth 2 tableentry)) - "$"))) + "\\'"))) (sname (symbol-name assistant)) ;; NB: File name for each prover is the same as its symbol name! (elisp-file sname) |