# HG changeset patch
# User lcp
# Date 797162581 -7200
# Node ID db0563a1644a2c9cd73d05b3ca3478d2882ec1ab
# Parent  5c9654e2e3de761f24bd8fc5e7e02a8f174ba22e
Added Id: line

diff -r 5c9654e2e3de -r db0563a1644a src/Pure/Makefile
--- a/src/Pure/Makefile	Thu Apr 06 11:59:34 1995 +0200
+++ b/src/Pure/Makefile	Thu Apr 06 12:03:01 1995 +0200
@@ -1,3 +1,4 @@
+#  $Id$
 #########################################################################
 #									#
 # 			Makefile for Isabelle (Pure)			#