removed Ids;
authorwenzelm
Sat Dec 20 11:55:34 2008 +0100 (2008-12-20)
changeset 29145b1c6f4563df7
parent 29144 ca186ebbd824
child 29146 d4c23f16d04e
removed Ids;
CONTRIBUTORS
INSTALL
NEWS
build
etc/proofgeneral-settings.el
etc/settings
etc/symbols
etc/user-settings.sample
lib/scripts/dimacs2hol.pl
lib/scripts/feeder
lib/scripts/feeder.pl
lib/scripts/fileident
lib/scripts/getsettings
lib/scripts/keywords.pl
lib/scripts/polyml-platform
lib/scripts/polyml-version
lib/scripts/run-mosml
lib/scripts/run-polyml
lib/scripts/run-polyml-4.1.3
lib/scripts/run-polyml-4.1.4
lib/scripts/run-polyml-4.2.0
lib/scripts/run-polyml-5.0
lib/scripts/run-smlnj
lib/scripts/system.pl
lib/scripts/timestart.bash
lib/scripts/timestop.bash
lib/scripts/unsymbolize.pl
lib/scripts/yxml.pl
lib/texinputs/draft.tex
lib/texinputs/isabelle.sty
lib/texinputs/isabellesym.sty
lib/texinputs/pdfsetup.sty
     1.1 --- a/CONTRIBUTORS	Sat Dec 20 11:39:34 2008 +0100
     1.2 +++ b/CONTRIBUTORS	Sat Dec 20 11:55:34 2008 +0100
     1.3 @@ -204,5 +204,3 @@
     1.4  * 2004/2005: Tjark Weber, TUM
     1.5    SAT solver method using zChaff.
     1.6    Improved version of HOL/refute.
     1.7 -
     1.8 -$Id$
     2.1 --- a/INSTALL	Sat Dec 20 11:39:34 2008 +0100
     2.2 +++ b/INSTALL	Sat Dec 20 11:55:34 2008 +0100
     2.3 @@ -85,6 +85,3 @@
     2.4  Note that the site-wide Isabelle installation may already provide
     2.5  Isabelle executables in some global bin directory (such as
     2.6  /usr/local/bin).
     2.7 -
     2.8 -
     2.9 -$Id$
     3.1 --- a/NEWS	Sat Dec 20 11:39:34 2008 +0100
     3.2 +++ b/NEWS	Sat Dec 20 11:55:34 2008 +0100
     3.3 @@ -5956,6 +5956,3 @@
     3.4  types;
     3.5  
     3.6  :mode=text:wrap=hard:maxLineLen=72:
     3.7 -
     3.8 -
     3.9 -$Id$
     4.1 --- a/build	Sat Dec 20 11:39:34 2008 +0100
     4.2 +++ b/build	Sat Dec 20 11:55:34 2008 +0100
     4.3 @@ -1,6 +1,5 @@
     4.4  #!/usr/bin/env bash
     4.5  #
     4.6 -# $Id$
     4.7  # Author: Markus Wenzel, TU Muenchen
     4.8  #
     4.9  # build - compile the Isabelle system and object-logics
     5.1 --- a/etc/proofgeneral-settings.el	Sat Dec 20 11:39:34 2008 +0100
     5.2 +++ b/etc/proofgeneral-settings.el	Sat Dec 20 11:55:34 2008 +0100
     5.3 @@ -1,6 +1,3 @@
     5.4 -;;;
     5.5 -;;; $Id$
     5.6 -;;;
     5.7  ;;; Options for Proof General
     5.8  
     5.9  ;; Examples for sensible settings:
     6.1 --- a/etc/settings	Sat Dec 20 11:39:34 2008 +0100
     6.2 +++ b/etc/settings	Sat Dec 20 11:55:34 2008 +0100
     6.3 @@ -1,5 +1,4 @@
     6.4  # -*- shell-script -*- :mode=shellscript:
     6.5 -# $Id$
     6.6  #
     6.7  # Isabelle settings -- site defaults.
     6.8  #
     7.1 --- a/etc/symbols	Sat Dec 20 11:39:34 2008 +0100
     7.2 +++ b/etc/symbols	Sat Dec 20 11:55:34 2008 +0100
     7.3 @@ -1,4 +1,3 @@
     7.4 -# $Id$
     7.5  # Default interpretation of some Isabelle symbols
     7.6  
     7.7  \<zero>                 code: 0x01d7ec  font: Isabelle
     8.1 --- a/etc/user-settings.sample	Sat Dec 20 11:39:34 2008 +0100
     8.2 +++ b/etc/user-settings.sample	Sat Dec 20 11:55:34 2008 +0100
     8.3 @@ -1,5 +1,4 @@
     8.4  # -*- shell-script -*-
     8.5 -# $Id$
     8.6  #
     8.7  # Isabelle user settings sample -- for use in ~/.isabelle/etc/settings
     8.8  
     9.1 --- a/lib/scripts/dimacs2hol.pl	Sat Dec 20 11:39:34 2008 +0100
     9.2 +++ b/lib/scripts/dimacs2hol.pl	Sat Dec 20 11:55:34 2008 +0100
     9.3 @@ -1,5 +1,3 @@
     9.4 -#
     9.5 -# $Id$
     9.6  #
     9.7  # dimacs2hol.pl - convert files in DIMACS CNF format [1] into Isabelle/HOL
     9.8  #                 theories
    10.1 --- a/lib/scripts/feeder	Sat Dec 20 11:39:34 2008 +0100
    10.2 +++ b/lib/scripts/feeder	Sat Dec 20 11:55:34 2008 +0100
    10.3 @@ -1,6 +1,5 @@
    10.4  #!/usr/bin/env bash
    10.5  #
    10.6 -# $Id$
    10.7  # Author: Markus Wenzel, TU Muenchen
    10.8  #
    10.9  # feeder - feed isabelle session
    11.1 --- a/lib/scripts/feeder.pl	Sat Dec 20 11:39:34 2008 +0100
    11.2 +++ b/lib/scripts/feeder.pl	Sat Dec 20 11:55:34 2008 +0100
    11.3 @@ -1,5 +1,4 @@
    11.4  #
    11.5 -# $Id$
    11.6  # Author: Markus Wenzel, TU Muenchen
    11.7  #
    11.8  # feeder.pl - feed isabelle session
    12.1 --- a/lib/scripts/fileident	Sat Dec 20 11:39:34 2008 +0100
    12.2 +++ b/lib/scripts/fileident	Sat Dec 20 11:55:34 2008 +0100
    12.3 @@ -1,7 +1,5 @@
    12.4  #!/usr/bin/env bash
    12.5  #
    12.6 -# $Id$
    12.7 -#
    12.8  # fileident --- produce file identification based
    12.9  
   12.10  FILE="$1"
    13.1 --- a/lib/scripts/getsettings	Sat Dec 20 11:39:34 2008 +0100
    13.2 +++ b/lib/scripts/getsettings	Sat Dec 20 11:55:34 2008 +0100
    13.3 @@ -1,5 +1,5 @@
    13.4  # -*- shell-script -*- :mode=shellscript:
    13.5 -# $Id$
    13.6 +#
    13.7  # Author: Markus Wenzel, TU Muenchen
    13.8  #
    13.9  # getsettings - bash source script to augment current env.
    14.1 --- a/lib/scripts/keywords.pl	Sat Dec 20 11:39:34 2008 +0100
    14.2 +++ b/lib/scripts/keywords.pl	Sat Dec 20 11:55:34 2008 +0100
    14.3 @@ -1,5 +1,4 @@
    14.4  #
    14.5 -# $Id$
    14.6  # Author: Makarius
    14.7  #
    14.8  # keywords.pl - generate outer syntax keyword files from session logs
    14.9 @@ -79,8 +78,6 @@
   14.10    print ";; Generated from ${sessions}.\n";
   14.11    print ";; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***\n";
   14.12    print ";;\n";
   14.13 -  print ";; \$", "Id\$\n";
   14.14 -  print ";;\n";
   14.15  
   14.16    for my $kind (@kinds) {
   14.17      my @names;
   14.18 @@ -154,7 +151,6 @@
   14.19  EOF
   14.20    print "<!-- Generated from ${sessions}. -->\n";
   14.21    print "<!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->\n";
   14.22 -  print "<!-- \$", "Id\$ -->\n";
   14.23    print <<'EOF';
   14.24  <MODE>
   14.25    <PROPS>
    15.1 --- a/lib/scripts/polyml-platform	Sat Dec 20 11:39:34 2008 +0100
    15.2 +++ b/lib/scripts/polyml-platform	Sat Dec 20 11:55:34 2008 +0100
    15.3 @@ -1,7 +1,5 @@
    15.4  #!/usr/bin/env bash
    15.5  #
    15.6 -# $Id$
    15.7 -#
    15.8  # polyml-platform --- determine Poly/ML's idea of current hardware and
    15.9  # operating system type
   15.10  #
    16.1 --- a/lib/scripts/polyml-version	Sat Dec 20 11:39:34 2008 +0100
    16.2 +++ b/lib/scripts/polyml-version	Sat Dec 20 11:55:34 2008 +0100
    16.3 @@ -1,7 +1,5 @@
    16.4  #!/usr/bin/env bash
    16.5  #
    16.6 -# $Id$
    16.7 -#
    16.8  # polyml-version --- determine Poly/ML runtime system version
    16.9  
   16.10  echo -n polyml
    17.1 --- a/lib/scripts/run-mosml	Sat Dec 20 11:39:34 2008 +0100
    17.2 +++ b/lib/scripts/run-mosml	Sat Dec 20 11:55:34 2008 +0100
    17.3 @@ -1,6 +1,5 @@
    17.4  #!/usr/bin/env bash
    17.5  #
    17.6 -# $Id$
    17.7  # Author: Markus Wenzel, TU Muenchen
    17.8  #
    17.9  # Moscow ML 2.00 startup script
    18.1 --- a/lib/scripts/run-polyml	Sat Dec 20 11:39:34 2008 +0100
    18.2 +++ b/lib/scripts/run-polyml	Sat Dec 20 11:55:34 2008 +0100
    18.3 @@ -1,6 +1,5 @@
    18.4  #!/usr/bin/env bash
    18.5  #
    18.6 -# $Id$
    18.7  # Author: Makarius
    18.8  #
    18.9  # Poly/ML 5.1/5.2 startup script.
    19.1 --- a/lib/scripts/run-polyml-4.1.3	Sat Dec 20 11:39:34 2008 +0100
    19.2 +++ b/lib/scripts/run-polyml-4.1.3	Sat Dec 20 11:55:34 2008 +0100
    19.3 @@ -1,6 +1,5 @@
    19.4  #!/usr/bin/env bash
    19.5  #
    19.6 -# $Id$
    19.7  # Author: Markus Wenzel, TU Muenchen
    19.8  #
    19.9  # Poly/ML 4.x startup script.
    20.1 --- a/lib/scripts/run-polyml-4.1.4	Sat Dec 20 11:39:34 2008 +0100
    20.2 +++ b/lib/scripts/run-polyml-4.1.4	Sat Dec 20 11:55:34 2008 +0100
    20.3 @@ -1,6 +1,5 @@
    20.4  #!/usr/bin/env bash
    20.5  #
    20.6 -# $Id$
    20.7  # Author: Markus Wenzel, TU Muenchen
    20.8  #
    20.9  # Poly/ML 4.x startup script.
    21.1 --- a/lib/scripts/run-polyml-4.2.0	Sat Dec 20 11:39:34 2008 +0100
    21.2 +++ b/lib/scripts/run-polyml-4.2.0	Sat Dec 20 11:55:34 2008 +0100
    21.3 @@ -1,6 +1,5 @@
    21.4  #!/usr/bin/env bash
    21.5  #
    21.6 -# $Id$
    21.7  # Author: Markus Wenzel, TU Muenchen
    21.8  #
    21.9  # Poly/ML 4.x startup script.
    22.1 --- a/lib/scripts/run-polyml-5.0	Sat Dec 20 11:39:34 2008 +0100
    22.2 +++ b/lib/scripts/run-polyml-5.0	Sat Dec 20 11:55:34 2008 +0100
    22.3 @@ -1,6 +1,5 @@
    22.4  #!/usr/bin/env bash
    22.5  #
    22.6 -# $Id$
    22.7  # Author: Makarius
    22.8  #
    22.9  # Poly/ML 5.0 startup script.
    23.1 --- a/lib/scripts/run-smlnj	Sat Dec 20 11:39:34 2008 +0100
    23.2 +++ b/lib/scripts/run-smlnj	Sat Dec 20 11:55:34 2008 +0100
    23.3 @@ -1,6 +1,5 @@
    23.4  #!/usr/bin/env bash
    23.5  #
    23.6 -# $Id$
    23.7  # Author: Markus Wenzel, TU Muenchen
    23.8  #
    23.9  # SML/NJ startup script (for 110 or later).
    24.1 --- a/lib/scripts/system.pl	Sat Dec 20 11:39:34 2008 +0100
    24.2 +++ b/lib/scripts/system.pl	Sat Dec 20 11:55:34 2008 +0100
    24.3 @@ -1,5 +1,4 @@
    24.4  #
    24.5 -# $Id$
    24.6  # Author: Makarius
    24.7  #
    24.8  # system.pl - invoke shell command line (with robust signal handling)
    25.1 --- a/lib/scripts/timestart.bash	Sat Dec 20 11:39:34 2008 +0100
    25.2 +++ b/lib/scripts/timestart.bash	Sat Dec 20 11:55:34 2008 +0100
    25.3 @@ -1,5 +1,5 @@
    25.4  # -*- shell-script -*-
    25.5 -# $Id$
    25.6 +#
    25.7  # Author: Makarius
    25.8  #
    25.9  # timestart - setup bash environment for timing.
    26.1 --- a/lib/scripts/timestop.bash	Sat Dec 20 11:39:34 2008 +0100
    26.2 +++ b/lib/scripts/timestop.bash	Sat Dec 20 11:55:34 2008 +0100
    26.3 @@ -1,5 +1,5 @@
    26.4  # -*- shell-script -*-
    26.5 -# $Id$
    26.6 +#
    26.7  # Author: Makarius
    26.8  #
    26.9  # timestop - report timing based on environment (cf. timestart.bash)
    27.1 --- a/lib/scripts/unsymbolize.pl	Sat Dec 20 11:39:34 2008 +0100
    27.2 +++ b/lib/scripts/unsymbolize.pl	Sat Dec 20 11:55:34 2008 +0100
    27.3 @@ -1,5 +1,4 @@
    27.4  #
    27.5 -# $Id$
    27.6  # Author: Markus Wenzel, TU Muenchen
    27.7  #
    27.8  # unsymbolize.pl - remove unreadable symbol names from sources
    28.1 --- a/lib/scripts/yxml.pl	Sat Dec 20 11:39:34 2008 +0100
    28.2 +++ b/lib/scripts/yxml.pl	Sat Dec 20 11:55:34 2008 +0100
    28.3 @@ -1,5 +1,4 @@
    28.4  #
    28.5 -# $Id$
    28.6  # Author: Makarius
    28.7  #
    28.8  # yxml.pl - simple XML to YXML converter
    29.1 --- a/lib/texinputs/draft.tex	Sat Dec 20 11:39:34 2008 +0100
    29.2 +++ b/lib/texinputs/draft.tex	Sat Dec 20 11:55:34 2008 +0100
    29.3 @@ -1,5 +1,3 @@
    29.4 -%%
    29.5 -%% $Id$
    29.6  %%
    29.7  %% root for draft documents
    29.8  %%
    30.1 --- a/lib/texinputs/isabelle.sty	Sat Dec 20 11:39:34 2008 +0100
    30.2 +++ b/lib/texinputs/isabelle.sty	Sat Dec 20 11:55:34 2008 +0100
    30.3 @@ -1,5 +1,3 @@
    30.4 -%%
    30.5 -%% $Id$
    30.6  %%
    30.7  %% macros for Isabelle generated LaTeX output
    30.8  %%
    31.1 --- a/lib/texinputs/isabellesym.sty	Sat Dec 20 11:39:34 2008 +0100
    31.2 +++ b/lib/texinputs/isabellesym.sty	Sat Dec 20 11:55:34 2008 +0100
    31.3 @@ -1,5 +1,3 @@
    31.4 -%%
    31.5 -%% $Id$
    31.6  %%
    31.7  %% definitions of standard Isabelle symbols
    31.8  %%
    32.1 --- a/lib/texinputs/pdfsetup.sty	Sat Dec 20 11:39:34 2008 +0100
    32.2 +++ b/lib/texinputs/pdfsetup.sty	Sat Dec 20 11:55:34 2008 +0100
    32.3 @@ -1,5 +1,3 @@
    32.4 -%%
    32.5 -%% $Id$
    32.6  %%
    32.7  %% default hyperref setup (both for pdf and dvi output)
    32.8  %%