From 8c27343e5c5c06b45a964f126e609af90297e484 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 6 Sep 2009 18:58:28 +0000 Subject: Configuration changes for shell mode revision. --- lego/lego.el | 20 ++++++++------------ 1 file changed, 8 insertions(+), 12 deletions(-) (limited to 'lego') diff --git a/lego/lego.el b/lego/lego.el index fe73c017..9dc7dd47 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -368,16 +368,12 @@ The directory and extension is stripped of FILENAME before the test." (equal module (file-name-sans-extension (file-name-nondirectory filename)))) -(defun lego-shell-compute-new-files-list (str) - "Function to update `proof-included-files list'. +(defun lego-shell-compute-new-files-list () + "Function to update `proof-included-files-list'. +Value for `proof-shell-compute-new-files-list', which see. -It needs to return an up to date list of all processed files. Its -output is stored in `proof-included-files-list'. Its input is the -string of which `lego-shell-retract-files-regexp' matched a -substring. - -We assume that module identifiers coincide with file names." - (let ((module (match-string 1 str))) +For LEGO, we assume that module identifiers coincide with file names." + (let ((module (match-string 1))) (cdr (member-if (lambda (filename) (lego-equal-module-filename module filename)) proof-included-files-list)))) @@ -414,9 +410,9 @@ We assume that module identifiers coincide with file names." proof-shell-process-file (cons "Creating mark \"\\(.*\\)\" \\[\\(.*\\)\\]" - (lambda (str) (let ((match (match-string 2 str))) - (if (equal match "") match - (concat (file-name-sans-extension match) ".l"))))) + (lambda () (let ((match (match-string 2))) + (if (equal match "") match + (concat (file-name-sans-extension match) ".l"))))) proof-shell-retract-files-regexp "forgot back through Mark \"\\(.*\\)\"" -- cgit v1.2.3