diff options
| -rw-r--r-- | lego.el | 8 | ||||
| -rw-r--r-- | proof.el | 3 |
2 files changed, 6 insertions, 5 deletions
@@ -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 @@ -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) |