# HG changeset patch
# User wenzelm
# Date 1273665289 -7200
# Node ID 51af1657263b2ee3ba3648524f3d2e686a2bffc2
# Parent  8eac822dec6c3b620ccbc8003fc515255c45e10a
removed obsolete CVS Ids;

diff -r 8eac822dec6c -r 51af1657263b Admin/README
--- a/Admin/README	Wed May 12 13:52:34 2010 +0200
+++ b/Admin/README	Wed May 12 13:54:49 2010 +0200
@@ -1,5 +1,2 @@
-
-$Id$
-
 This directory contains some administrative tools for the Isabelle
 repository at TUM.  They do not appear in proper distributions.
diff -r 8eac822dec6c -r 51af1657263b Admin/check_ml_headers
--- a/Admin/check_ml_headers	Wed May 12 13:52:34 2010 +0200
+++ b/Admin/check_ml_headers	Wed May 12 13:54:49 2010 +0200
@@ -1,7 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
-#
 # check_ml_headers - check headers of *.ML files in Distribution for inconsistencies
 #
 # requires some GNU tools
diff -r 8eac822dec6c -r 51af1657263b Admin/isasync
--- a/Admin/isasync	Wed May 12 13:52:34 2010 +0200
+++ b/Admin/isasync	Wed May 12 13:54:49 2010 +0200
@@ -1,7 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
-#
 # mirror script for Isabelle distribution or website
 
 
diff -r 8eac822dec6c -r 51af1657263b Admin/linktest
--- a/Admin/linktest	Wed May 12 13:52:34 2010 +0200
+++ b/Admin/linktest	Wed May 12 13:54:49 2010 +0200
@@ -1,7 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
-#
 # leightweight link checker for the isabelle website
 
 
diff -r 8eac822dec6c -r 51af1657263b Admin/mirror-website
--- a/Admin/mirror-website	Wed May 12 13:52:34 2010 +0200
+++ b/Admin/mirror-website	Wed May 12 13:54:49 2010 +0200
@@ -1,7 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
-#
 # mirrors the Isabelle website
 
 HOST=$(hostname)
diff -r 8eac822dec6c -r 51af1657263b Admin/profiling_report
--- a/Admin/profiling_report	Wed May 12 13:52:34 2010 +0200
+++ b/Admin/profiling_report	Wed May 12 13:54:49 2010 +0200
@@ -1,6 +1,5 @@
 #!/usr/bin/env perl
 #
-# $Id$
 # Author: Makarius
 #
 # DESCRIPTION: Simple report generator for Poly/ML profiling output.
diff -r 8eac822dec6c -r 51af1657263b Admin/profiling_reports
--- a/Admin/profiling_reports	Wed May 12 13:52:34 2010 +0200
+++ b/Admin/profiling_reports	Wed May 12 13:54:49 2010 +0200
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Makarius
 #
 # DESCRIPTION: Cumulative reports for Poly/ML profiling output.
diff -r 8eac822dec6c -r 51af1657263b Admin/psbooklet
--- a/Admin/psbooklet	Wed May 12 13:52:34 2010 +0200
+++ b/Admin/psbooklet	Wed May 12 13:54:49 2010 +0200
@@ -1,9 +1,6 @@
 #!/usr/bin/env bash
 #
-# $Id$
-#
 # psbooklet - rearrange pages of ps file to be printed as booklet (duplex)
-#
 
 psbook "$@" | \
   pstops '4:0L@.7(21cm,0cm)+1L@.7(21cm,14.85cm),3R@.7(0cm,14.85cm)+2R@.7(0cm,29.7cm)'
diff -r 8eac822dec6c -r 51af1657263b Admin/rsyncd
--- a/Admin/rsyncd	Wed May 12 13:52:34 2010 +0200
+++ b/Admin/rsyncd	Wed May 12 13:54:49 2010 +0200
@@ -1,9 +1,6 @@
 #!/usr/bin/env bash
 #
 # rsync server start script
-#
-# $Id$
-#
 
 /usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf