diff options
| author | Healfdene Goguen | 1998-06-02 15:33:16 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-06-02 15:33:16 +0000 |
| commit | 20b647c990db1f53ab1b92d14a192224917c0bf3 (patch) | |
| tree | a1d6e8e80ce4c9d7ea2bb33cbed8cec0a724642b | |
| parent | ee999fc58e152094c5ac2c69fa5c80c12d755ef9 (diff) | |
Minor modifications to comments
| -rw-r--r-- | coq-fontlock.el | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/coq-fontlock.el b/coq-fontlock.el index 72b92871..eea19e25 100644 --- a/coq-fontlock.el +++ b/coq-fontlock.el @@ -1,9 +1,12 @@ ;; coq-fontlock.el Font lock expressions for Coq -;; Copyright (C) 1997 LFCS Edinburgh. +;; Copyright (C) 1997, 1998 LFCS Edinburgh. ;; Author: Thomas Kleymann and Healfdene Goguen ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> ;; $Log$ +;; Revision 1.11 1998/06/02 15:33:16 hhg +;; Minor modifications to comments +;; ;; Revision 1.10 1998/05/15 16:13:23 hhg ;; Added CoFixpoint and tactics. ;; Changed indentation. @@ -187,18 +190,15 @@ "Try" )) -;; ----- regular expressions for font-lock -;; *** To update +;; ----- regular expressions (defvar coq-error-regexp "^\\(Error\\|Discarding\\|Syntax error\\|System Error\\)" - "A regular expression indicating that the Coq process has - identified an error.") + "A regular expression indicating that the Coq process has identified + an error.") (defvar coq-id proof-id) -;; *** To check: whether separator is just , (defvar coq-ids (proof-ids coq-id)) -;; *** To update: from here down! (defun coq-abstr-regexp (paren char) (concat paren "\\s *\\(" coq-ids "\\)\\s *" char)) |