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