removed obsolete CVS Ids;
authorwenzelm
Wed May 12 13:54:49 2010 +0200 (2010-05-12)
changeset 3685951af1657263b
parent 36858 8eac822dec6c
child 36860 d9338f121406
removed obsolete CVS Ids;
Admin/README
Admin/check_ml_headers
Admin/isasync
Admin/linktest
Admin/mirror-website
Admin/profiling_report
Admin/profiling_reports
Admin/psbooklet
Admin/rsyncd
     1.1 --- a/Admin/README	Wed May 12 13:52:34 2010 +0200
     1.2 +++ b/Admin/README	Wed May 12 13:54:49 2010 +0200
     1.3 @@ -1,5 +1,2 @@
     1.4 -
     1.5 -$Id$
     1.6 -
     1.7  This directory contains some administrative tools for the Isabelle
     1.8  repository at TUM.  They do not appear in proper distributions.
     2.1 --- a/Admin/check_ml_headers	Wed May 12 13:52:34 2010 +0200
     2.2 +++ b/Admin/check_ml_headers	Wed May 12 13:54:49 2010 +0200
     2.3 @@ -1,7 +1,5 @@
     2.4  #!/usr/bin/env bash
     2.5  #
     2.6 -# $Id$
     2.7 -#
     2.8  # check_ml_headers - check headers of *.ML files in Distribution for inconsistencies
     2.9  #
    2.10  # requires some GNU tools
     3.1 --- a/Admin/isasync	Wed May 12 13:52:34 2010 +0200
     3.2 +++ b/Admin/isasync	Wed May 12 13:54:49 2010 +0200
     3.3 @@ -1,7 +1,5 @@
     3.4  #!/usr/bin/env bash
     3.5  #
     3.6 -# $Id$
     3.7 -#
     3.8  # mirror script for Isabelle distribution or website
     3.9  
    3.10  
     4.1 --- a/Admin/linktest	Wed May 12 13:52:34 2010 +0200
     4.2 +++ b/Admin/linktest	Wed May 12 13:54:49 2010 +0200
     4.3 @@ -1,7 +1,5 @@
     4.4  #!/usr/bin/env bash
     4.5  #
     4.6 -# $Id$
     4.7 -#
     4.8  # leightweight link checker for the isabelle website
     4.9  
    4.10  
     5.1 --- a/Admin/mirror-website	Wed May 12 13:52:34 2010 +0200
     5.2 +++ b/Admin/mirror-website	Wed May 12 13:54:49 2010 +0200
     5.3 @@ -1,7 +1,5 @@
     5.4  #!/usr/bin/env bash
     5.5  #
     5.6 -# $Id$
     5.7 -#
     5.8  # mirrors the Isabelle website
     5.9  
    5.10  HOST=$(hostname)
     6.1 --- a/Admin/profiling_report	Wed May 12 13:52:34 2010 +0200
     6.2 +++ b/Admin/profiling_report	Wed May 12 13:54:49 2010 +0200
     6.3 @@ -1,6 +1,5 @@
     6.4  #!/usr/bin/env perl
     6.5  #
     6.6 -# $Id$
     6.7  # Author: Makarius
     6.8  #
     6.9  # DESCRIPTION: Simple report generator for Poly/ML profiling output.
     7.1 --- a/Admin/profiling_reports	Wed May 12 13:52:34 2010 +0200
     7.2 +++ b/Admin/profiling_reports	Wed May 12 13:54:49 2010 +0200
     7.3 @@ -1,6 +1,5 @@
     7.4  #!/usr/bin/env bash
     7.5  #
     7.6 -# $Id$
     7.7  # Author: Makarius
     7.8  #
     7.9  # DESCRIPTION: Cumulative reports for Poly/ML profiling output.
     8.1 --- a/Admin/psbooklet	Wed May 12 13:52:34 2010 +0200
     8.2 +++ b/Admin/psbooklet	Wed May 12 13:54:49 2010 +0200
     8.3 @@ -1,9 +1,6 @@
     8.4  #!/usr/bin/env bash
     8.5  #
     8.6 -# $Id$
     8.7 -#
     8.8  # psbooklet - rearrange pages of ps file to be printed as booklet (duplex)
     8.9 -#
    8.10  
    8.11  psbook "$@" | \
    8.12    pstops '4:0L@.7(21cm,0cm)+1L@.7(21cm,14.85cm),3R@.7(0cm,14.85cm)+2R@.7(0cm,29.7cm)'
     9.1 --- a/Admin/rsyncd	Wed May 12 13:52:34 2010 +0200
     9.2 +++ b/Admin/rsyncd	Wed May 12 13:54:49 2010 +0200
     9.3 @@ -1,9 +1,6 @@
     9.4  #!/usr/bin/env bash
     9.5  #
     9.6  # rsync server start script
     9.7 -#
     9.8 -# $Id$
     9.9 -#
    9.10  
    9.11  /usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf
    9.12