From a4907acf9d5b3e576997a4166f8ca08614bf2261 Mon Sep 17 00:00:00 2001 From: Thomas Kleymann Date: Thu, 21 Nov 1996 14:47:10 +0000 Subject: *** empty log message *** --- lego.el | 8 +++++--- proof.el | 3 +-- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/lego.el b/lego.el index 4126d5ea..401f12cd 100644 --- a/lego.el +++ b/lego.el @@ -4,7 +4,7 @@ ;; code. ;; Maintainer: LEGO Team -;; Time-stamp: <05 Nov 96 tms /home/tms/elisp/lego.el> +;; Time-stamp: <20 Nov 96 tms /home/tms/elisp/lego.el> ;; Thanks to David Aspinall, Robert Boyer, Rod Burstall, ;; James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens @@ -301,10 +301,12 @@ (list (concat "^ \\(" lego-id "\\) = ... :") 1 'font-lock-function-name-face) - (list (concat "^ \\(" lego-id "\\) : ") 1 + (list (concat "^ \\(" lego-id "\\) [:|]") 1 'font-lock-declaration-name-face) - (list (concat "\\ \\(" lego-id "\\) [:|]") 1 + ; e.g., decl S1 S2 : prog sort + (list (concat "\\ \\(" lego-id + "\\( " lego-id "\\)*\\) [:|] ") 1 'font-lock-declaration-name-face) (list (concat "^value = \\(" lego-id "\\)") 1 diff --git a/proof.el b/proof.el index c917519a..a42805b6 100644 --- a/proof.el +++ b/proof.el @@ -3,7 +3,7 @@ ;; rearranging Thomas Schreiber's code. ;; Maintainer: LEGO Team -;; Time-stamp: <05 Nov 96 tms /home/tms/elisp/proof.el> +;; Time-stamp: <17 Nov 96 tms /home/tms/elisp/proof.el> ;; Thanks to David Aspinall, Robert Boyer, Rod Burstall, ;; James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens @@ -351,7 +351,6 @@ (erase-buffer) (funcall proof-shell-mode-is) (setq comint-prompt-regexp proof-shell-prompt-pattern) - (setq comint-scroll-to-bottom-on-output t) (setq comint-input-sender 'proof-input-sender) (and running-emacs19 (setq comint-scroll-show-maximum-output t)) (proof-display-buffer buffer-name) -- cgit v1.2.3