--- a/src/CCL/Makefile Sun Apr 02 10:43:59 1995 +0200 +++ b/src/CCL/Makefile Thu Apr 06 10:48:11 1995 +0200 @@ -1,3 +1,4 @@ +# $Id$ ######################################################################### # # # Makefile for Isabelle (CCL) #