diff options
| author |  Stefan Monnier <monnier@iro.umontreal.ca> | 2018-12-20 14:47:33 -0500 |
|---|---|---|
| committer | Stefan Monnier <monnier@iro.umontreal.ca> | 2018-12-25 14:48:54 -0500 |
| commit | 7389d43893569ff0e1eff892254901876fc8225e (patch) | |
| tree | aff068ef99924c1170a14f876b3fe745dadf2301 /generic/proof-syntax.el | |
| parent | f7cc8f1f76baf5e517e51f1db47510ed605064e8 (diff) | |
Reduce the impact of proof-site, in case PG is not used
* generic/proof-autoloads.el: Remove `require`s; not needed.
* generic/proof-site.el: Don't require `pg-vars`.
(proof-ready-for-assistant): Move to proof-script.el.
* generic/proof-menu.el (proof-assistant-format): Make dynamically
scoped var explicit (preparation for lexical-binding).
* generic/proof-script.el: Require `pg-vars`.
(proof-ready-for-assistant): Move from proof-site.el.
* generic/proof-syntax.el (proof-replace-regexp-in-string):
* generic/proof-shell.el (proof-shell-live-buffer): Don't mark it
as inlinable: it's not performance sensitive.
Diffstat (limited to 'generic/proof-syntax.el')
| -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 2ba6b7b6..777d3858 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -65,7 +65,7 @@ nil if a region cannot be found." (search-forward string bound noerror count))) ;;;###autoload -(defsubst proof-replace-regexp-in-string (regexp rep string) +(defun proof-replace-regexp-in-string (regexp rep string) "Like ‘replace-regexp-in-string’, but set ‘case-fold-search’ to ‘proof-case-fold-search’." (let ((case-fold-search proof-case-fold-search)) (replace-regexp-in-string regexp rep string))) |