# HG changeset patch
# User lcp
# Date 797158091 -7200
# Node ID 3566c197b420b5dcefd4a88f32965001a44d60b8
# Parent  95c148a7b9c42505d00ed4a542b7f521c6543c55
Added Id: line

diff -r 95c148a7b9c4 -r 3566c197b420 src/CCL/Makefile
--- 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)			#