diff options
Diffstat (limited to 'lego/lego.el')
-rw-r--r-- | lego/lego.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lego/lego.el b/lego/lego.el index e2f755ea..7a15ab29 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -419,6 +419,9 @@ We assume that module identifiers coincide with file names." proof-shell-process-output-system-specific lego-shell-process-output lego-shell-current-line-width nil + ;; LEGO uses Unicode escape prefix: liable to create problems + proof-shell-unicode nil + proof-shell-process-file (cons "Creating mark \"\\(.*\\)\" \\[\\(.*\\)\\]" (lambda (str) (let ((match (match-string 2 str))) |