From 7721360a7bc3372bc7eb392338b426e953f91268 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 28 Jul 1999 11:51:40 +0000
Subject: fixed Id;

---
 isar/isar-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index d6aeceb6..b41a65c8 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -4,7 +4,7 @@
 ;; Author:      David Aspinall <da@dcs.ed.ac.uk>
 ;; Maintainer:  Markus Wenzel <wenzelm@in.tum.de>
 ;;
-;; $Id isar-syntax.el,v 2.14 1998/11/03 14:41:54 da Exp$
+;; $Id$
 ;;
 
 (require 'proof-syntax)
-- 
cgit v1.2.3