diff options
| author |  Dilip Sequiera <da+pg-djs@inf.ed.ac.uk> | 1996-12-09 15:11:04 +0000 |
|---|---|---|
| committer | Dilip Sequiera <da+pg-djs@inf.ed.ac.uk> | 1996-12-09 15:11:04 +0000 |
| commit | f222051b779214153a8c72934abeb66568586231 (patch) | |
| tree | 404d28d9d948302cb71d848de5a030b1545fe228 /lego.el | |
| parent | 10385afbe5ad48cdb5a6de7c937884941a3a3886 (diff) | |
Speeded up proof-by-pointing things
Diffstat (limited to 'lego.el')
| -rw-r--r-- | lego.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -107,7 +107,7 @@ (defvar lego-shell-working-dir "" "The working directory of the lego shell") -(defvar lego-shell-prompt-pattern "^\\(Lego>\\s-*\\)+" +(defvar lego-shell-prompt-pattern "^\\(Lego>[ \t]*\\)+" "*The prompt pattern for the inferion shell running lego.") (defvar lego-shell-abort-goal-regexp "KillRef: ok, not in proof state" |