From 01b24f76cf629521a0298d11d1035cfbfb4e8586 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 8 Sep 1998 17:26:23 +0000
Subject: Added Id

---
 generic/proof-indent.el | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/generic/proof-indent.el b/generic/proof-indent.el
index bb42f462..f6c26e8a 100644
--- a/generic/proof-indent.el
+++ b/generic/proof-indent.el
@@ -2,6 +2,9 @@
 ;; Copyright (C) 1997, 1998 LFCS Edinburgh
 ;; Authors: Healfdene Goguen, Thomas Kleymann and Dilip Sequeira
 ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
+;;
+;; $Id$
+;;
 
 (require 'cl)
 (require 'proof-syntax)
-- 
cgit v1.2.3