--- 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) #