*** empty log message ***

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 <lego@dcs.ed.ac.uk>
-;; 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 "\\<decl\\>  \\(" lego-id "\\) [:|]") 1 
+           ; e.g., decl S1 S2 : prog sort
+	   (list (concat "\\<decl\\>  \\(" 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 <lego@dcs.ed.ac.uk>
-;; 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)