diff options
| author | Makarius Wenzel | 2001-01-12 16:50:38 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2001-01-12 16:50:38 +0000 |
| commit | e5384e11dedcb416eff5df7c96aa0f1e4f943c37 (patch) | |
| tree | 5d7cd974fa9337abb5e04e87f00a86e0990d3233 /isa | |
| parent | b5140e7b23bf27d7938d924c37b4e82181ce18ed (diff) | |
proof-string-match;
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/isabelle-system.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index d3cc2596..2d90192c 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -185,7 +185,7 @@ passed to isa-tool-doc-command, DOCNAME will be viewed." (function (lambda (docdes) (list (substring docdes - (string-match "\\(\\S-+\\)[ \t]+" docdes) + (proof-string-match "\\(\\S-+\\)[ \t]+" docdes) (match-end 1)) (substring docdes (match-end 0))))) (split-string docs "\n")))))) @@ -207,7 +207,7 @@ Called with one argument: t to save database, nil otherwise." ;;; Set proof-shell-pre-interrupt-hook for PolyML 3. (if (and (not proof-shell-pre-interrupt-hook) - (string-match "\\`polyml-3" (isa-getenv "ML_SYSTEM"))) + (proof-string-match "\\`polyml-3" (isa-getenv "ML_SYSTEM"))) (add-hook 'proof-shell-pre-interrupt-hook (lambda () (proof-shell-insert (isabelle-verbatim "f") nil)))) |