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

---
 proof-syntax.el | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'proof-syntax.el')

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
 ;;
-- 
cgit v1.2.3