# HG changeset patch
# User lcp
# Date 797162923 -7200
# Node ID 8bec0698d58c7edcf4d45e9f35d38cb9b14b86d8
# Parent  be30ddf0c9b47dc81c867e9c2c3df47d34b517a0
Added Id: line

diff -r be30ddf0c9b4 -r 8bec0698d58c src/ZF/Makefile
--- a/src/ZF/Makefile	Thu Apr 06 12:06:09 1995 +0200
+++ b/src/ZF/Makefile	Thu Apr 06 12:08:43 1995 +0200
@@ -1,3 +1,4 @@
+#  $Id$
 #########################################################################
 #									#
 # 			Makefile for Isabelle (ZF)			#