From b4dea574ab1cae343f127c08e4af8a0b099afc3b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 16 Aug 2002 13:04:39 +0000
Subject: Variable name change

---
 isa/isa.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/isa/isa.el b/isa/isa.el
index 45e893d0..b2cc64a2 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -131,11 +131,11 @@ and script mode."
    ;; in the temporary ML files generated while reading
    ;; theories, but unfortunately the user sometimes needs to 
    ;; examine them to understand a strange problem...
-   proof-shell-next-error-regexp
+   pg-next-error-regexp
    "\\(error on \\|Error: in '[^']+', \\)line \\([0-9]+\\)\\|The error(s) above occurred"
-   proof-shell-next-error-filename-regexp
+   pg-next-error-filename-regexp
    "\\(Loading theory \"\\|Error: in '\\)\\([^\"']+\\)[\"']"
-   proof-shell-next-error-extract-filename
+   pg-next-error-extract-filename
    "%s.thy"))
 
   
-- 
cgit v1.2.3