Added Id: line
authorlcp
Thu Apr 06 12:03:01 1995 +0200 (1995-04-06)
changeset 1012db0563a1644a
parent 1011 5c9654e2e3de
child 1013 be30ddf0c9b4
Added Id: line
src/Pure/Makefile
     1.1 --- a/src/Pure/Makefile	Thu Apr 06 11:59:34 1995 +0200
     1.2 +++ b/src/Pure/Makefile	Thu Apr 06 12:03:01 1995 +0200
     1.3 @@ -1,3 +1,4 @@
     1.4 +#  $Id$
     1.5  #########################################################################
     1.6  #									#
     1.7  # 			Makefile for Isabelle (Pure)			#