From a8fe9fb130491d7c3810a664f0a2e385f5eb6bfa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 11 Aug 1998 15:00:15 +0000
Subject: New branch

---
 coq-syntax.el   | 3 +++
 isa.el          | 3 +++
 lego-syntax.el  | 3 +++
 proof-syntax.el | 3 +++
 span-extent.el  | 3 +++
 span-overlay.el | 3 +++
 6 files changed, 18 insertions(+)

diff --git a/coq-syntax.el b/coq-syntax.el
index 1563bf13..b81a93e8 100644
--- a/coq-syntax.el
+++ b/coq-syntax.el
@@ -4,6 +4,9 @@
 ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
 
 ;; $Log$
+;; Revision 2.0  1998/08/11 14:59:53  da
+;; New branch
+;;
 ;; Revision 1.2  1998/08/11 11:43:13  da
 ;; Renamed <file>-fontlock to <file>-syntax
 ;;
diff --git a/isa.el b/isa.el
index 2b957239..ee80e89b 100644
--- a/isa.el
+++ b/isa.el
@@ -3,6 +3,9 @@
 ;; Authors: Healfdene Goguen, Thomas Kleymann, David Aspinall
 
 ;; $Log$
+;; Revision 2.0  1998/08/11 14:59:57  da
+;; New branch
+;;
 ;; Revision 1.1  1998/08/11 14:43:34  da
 ;; Isabelle proof.el support.
 ;;
diff --git a/lego-syntax.el b/lego-syntax.el
index 8b3ac7f7..208a30c6 100644
--- a/lego-syntax.el
+++ b/lego-syntax.el
@@ -4,6 +4,9 @@
 ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
 
 ;; $Log$
+;; Revision 2.0  1998/08/11 14:59:58  da
+;; New branch
+;;
 ;; Revision 1.2  1998/08/11 11:43:14  da
 ;; Renamed <file>-fontlock to <file>-syntax
 ;;
diff --git a/proof-syntax.el b/proof-syntax.el
index 56eae4b4..45c9015d 100644
--- a/proof-syntax.el
+++ b/proof-syntax.el
@@ -4,6 +4,9 @@
 ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
 
 ;; $Log$
+;; Revision 2.0  1998/08/11 15:00:04  da
+;; New branch
+;;
 ;; Revision 1.2  1998/08/11 11:43:14  da
 ;; Renamed <file>-fontlock to <file>-syntax
 ;;
diff --git a/span-extent.el b/span-extent.el
index 2cfc3df2..b49670b7 100644
--- a/span-extent.el
+++ b/span-extent.el
@@ -5,6 +5,9 @@
 ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
 
 ;; $Log$
+;; Revision 2.0  1998/08/11 15:00:13  da
+;; New branch
+;;
 ;; Revision 1.4  1998/06/10 14:01:48  hhg
 ;; Wrote generic span functions for making spans read-only or read-write.
 ;;
diff --git a/span-overlay.el b/span-overlay.el
index c403aaf5..f74350ed 100644
--- a/span-overlay.el
+++ b/span-overlay.el
@@ -5,6 +5,9 @@
 ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
 
 ;; $Log$
+;; Revision 2.0  1998/08/11 15:00:13  da
+;; New branch
+;;
 ;; Revision 1.9  1998/06/10 14:02:39  hhg
 ;; Wrote generic span functions for making spans read-only or read-write.
 ;; Fixed bug in add-span and remove-span concerning return value of
-- 
cgit v1.2.3