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 %%