From 7e2ba7cd47345c8bc6040bfe5267ce537bf52af8 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 6 Jan 2000 17:49:01 +0000 Subject: Fixes for short output duplication problem: set proof-shell-eager-annotation-start-length. --- lego/lego.el | 1 + 1 file changed, 1 insertion(+) (limited to 'lego') 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" -- cgit v1.2.3