diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-01-06 17:49:01 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-01-06 17:49:01 +0000 |
commit | 7e2ba7cd47345c8bc6040bfe5267ce537bf52af8 (patch) | |
tree | e3a5ef99898c9bebb096695067753c52f583c238 /lego | |
parent | 239f92842724c199b3d116b2ffa62c7a386ed146 (diff) |
Fixes for short output duplication problem: set proof-shell-eager-annotation-start-length.
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lego/lego.el b/lego/lego.el index 457f64e3..55b5fe98 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -453,6 +453,7 @@ We assume that module identifiers coincide with file names." proof-shell-field-char ?\374 proof-shell-goal-char ?\375 proof-shell-eager-annotation-start "\376" + proof-shell-eager-annotation-start-length 1 proof-shell-eager-annotation-end "\377" proof-shell-annotated-prompt-regexp "Lego> \371" proof-shell-result-start "\372 Pbp result \373" |