From b581ed2eec722cc763f5c2fa5c8bb536532a4796 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 7 Sep 2009 09:22:28 +0000 Subject: lego-shell-process-output -> lego-shell-classify-output --- lego/lego.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lego') diff --git a/lego/lego.el b/lego/lego.el index 9dc7dd47..73552f20 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -44,7 +44,7 @@ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; Users should not need to change this. -(defvar lego-shell-process-output +(defvar lego-shell-classify-output '((lambda (cmd string) (proof-string-match "^Module" cmd)) . (lambda (cmd string) (setq proof-shell-delayed-output @@ -402,7 +402,7 @@ For LEGO, we assume that module identifiers coincide with file names." proof-shell-init-cmd lego-process-config proof-shell-restart-cmd lego-process-config pg-subterm-anns-use-stack nil - proof-shell-process-output-system-specific lego-shell-process-output + proof-shell-classify-output-system-specific lego-shell-classify-output lego-shell-current-line-width nil ;; LEGO uses Unicode escape prefix: liable to create problems -- cgit v1.2.3