     1.1 --- a/doc-src/IsarRef/Makefile	Sat Feb 28 16:35:33 2009 +0100
     1.2 +++ b/doc-src/IsarRef/Makefile	Sat Feb 28 16:39:46 2009 +0100
     1.3 @@ -1,7 +1,3 @@
     1.4 -#
     1.5 -# $Id$
     1.6 -#
     1.7 -
     1.8  ## targets
     1.9  
    1.10  default: dvi
changeset 30168	9a20be5be90b
parent 28838	d5db6dfcb34a
child 43382	bf89455ccf9d