1.1 --- a/lib/Tools/browser Fri Dec 19 16:16:10 2008 -0800
1.2 +++ b/lib/Tools/browser Sat Dec 20 11:39:34 2008 +0100
1.3 @@ -1,6 +1,5 @@
1.4 #!/usr/bin/env bash
1.5 #
1.6 -# $Id$
1.7 # Author: Markus Wenzel, TU Muenchen
1.8 #
1.9 # DESCRIPTION: Isabelle graph browser
2.1 --- a/lib/Tools/codegen Fri Dec 19 16:16:10 2008 -0800
2.2 +++ b/lib/Tools/codegen Sat Dec 20 11:39:34 2008 +0100
2.3 @@ -1,6 +1,5 @@
2.4 #!/usr/bin/env bash
2.5 #
2.6 -# $Id$
2.7 # Author: Florian Haftmann, TUM
2.8 #
2.9 # DESCRIPTION: issue code generation from shell
3.1 --- a/lib/Tools/dimacs2hol Fri Dec 19 16:16:10 2008 -0800
3.2 +++ b/lib/Tools/dimacs2hol Sat Dec 20 11:39:34 2008 +0100
3.3 @@ -1,8 +1,6 @@
3.4 #!/usr/bin/env bash
3.5 #
3.6 -# $Id$
3.7 # Author: Tjark Weber
3.8 -# Copyright 2004
3.9 #
3.10 # DESCRIPTION: convert DIMACS CNF files into Isabelle/HOL theories
3.11
4.1 --- a/lib/Tools/display Fri Dec 19 16:16:10 2008 -0800
4.2 +++ b/lib/Tools/display Sat Dec 20 11:39: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 # DESCRIPTION: display document (in DVI or PDF format)
5.1 --- a/lib/Tools/doc Fri Dec 19 16:16:10 2008 -0800
5.2 +++ b/lib/Tools/doc Sat Dec 20 11:39:34 2008 +0100
5.3 @@ -1,6 +1,5 @@
5.4 #!/usr/bin/env bash
5.5 #
5.6 -# $Id$
5.7 # Author: Markus Wenzel, TU Muenchen
5.8 #
5.9 # DESCRIPTION: view Isabelle documentation
6.1 --- a/lib/Tools/document Fri Dec 19 16:16:10 2008 -0800
6.2 +++ b/lib/Tools/document Sat Dec 20 11:39:34 2008 +0100
6.3 @@ -1,6 +1,5 @@
6.4 #!/usr/bin/env bash
6.5 #
6.6 -# $Id$
6.7 # Author: Markus Wenzel, TU Muenchen
6.8 #
6.9 # DESCRIPTION: prepare theory session document
7.1 --- a/lib/Tools/emacs Fri Dec 19 16:16:10 2008 -0800
7.2 +++ b/lib/Tools/emacs Sat Dec 20 11:39:34 2008 +0100
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: Proof General / Emacs interface wrapper
8.1 --- a/lib/Tools/env Fri Dec 19 16:16:10 2008 -0800
8.2 +++ b/lib/Tools/env Sat Dec 20 11:39:34 2008 +0100
8.3 @@ -1,6 +1,5 @@
8.4 #!/usr/bin/env bash
8.5 #
8.6 -# $Id$
8.7 # Author: Markus Wenzel, TU Muenchen
8.8 #
8.9 # DESCRIPTION: run a program in a modified environment
9.1 --- a/lib/Tools/findlogics Fri Dec 19 16:16:10 2008 -0800
9.2 +++ b/lib/Tools/findlogics Sat Dec 20 11:39:34 2008 +0100
9.3 @@ -1,6 +1,5 @@
9.4 #!/usr/bin/env bash
9.5 #
9.6 -# $Id$
9.7 # Author: Markus Wenzel, TU Muenchen
9.8 #
9.9 # DESCRIPTION: collect heap names from ISABELLE_PATH
10.1 --- a/lib/Tools/getenv Fri Dec 19 16:16:10 2008 -0800
10.2 +++ b/lib/Tools/getenv Sat Dec 20 11:39: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 # DESCRIPTION: get values from Isabelle settings environment
11.1 --- a/lib/Tools/install Fri Dec 19 16:16:10 2008 -0800
11.2 +++ b/lib/Tools/install Sat Dec 20 11:39:34 2008 +0100
11.3 @@ -1,6 +1,5 @@
11.4 #!/usr/bin/env bash
11.5 #
11.6 -# $Id$
11.7 # Author: Markus Wenzel, TU Muenchen
11.8 #
11.9 # DESCRIPTION: install standalone Isabelle executables
12.1 --- a/lib/Tools/java Fri Dec 19 16:16:10 2008 -0800
12.2 +++ b/lib/Tools/java Sat Dec 20 11:39:34 2008 +0100
12.3 @@ -1,6 +1,5 @@
12.4 #!/usr/bin/env bash
12.5 #
12.6 -# $Id$
12.7 # Author: Makarius
12.8 #
12.9 # DESCRIPTION: invoke Java within the Isabelle environment
13.1 --- a/lib/Tools/jedit Fri Dec 19 16:16:10 2008 -0800
13.2 +++ b/lib/Tools/jedit Sat Dec 20 11:39:34 2008 +0100
13.3 @@ -1,6 +1,5 @@
13.4 #!/usr/bin/env bash
13.5 #
13.6 -# $Id$
13.7 # Author: Makarius
13.8 #
13.9 # DESCRIPTION: Isabelle/jEdit interface wrapper
14.1 --- a/lib/Tools/keywords Fri Dec 19 16:16:10 2008 -0800
14.2 +++ b/lib/Tools/keywords Sat Dec 20 11:39:34 2008 +0100
14.3 @@ -1,6 +1,5 @@
14.4 #!/usr/bin/env bash
14.5 #
14.6 -# $Id$
14.7 # Author: Makarius
14.8 #
14.9 # DESCRIPTION: generate outer syntax keyword files from session logs
15.1 --- a/lib/Tools/latex Fri Dec 19 16:16:10 2008 -0800
15.2 +++ b/lib/Tools/latex Sat Dec 20 11:39:34 2008 +0100
15.3 @@ -1,6 +1,5 @@
15.4 #!/usr/bin/env bash
15.5 #
15.6 -# $Id$
15.7 # Author: Markus Wenzel, TU Muenchen
15.8 #
15.9 # DESCRIPTION: run LaTeX (and related tools)
16.1 --- a/lib/Tools/logo Fri Dec 19 16:16:10 2008 -0800
16.2 +++ b/lib/Tools/logo Sat Dec 20 11:39:34 2008 +0100
16.3 @@ -1,6 +1,5 @@
16.4 #!/usr/bin/env bash
16.5 #
16.6 -# $Id$
16.7 # Author: Markus Wenzel, TU Muenchen
16.8 #
16.9 # DESCRIPTION: create an instance of the Isabelle logo
17.1 --- a/lib/Tools/make Fri Dec 19 16:16:10 2008 -0800
17.2 +++ b/lib/Tools/make Sat Dec 20 11:39: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 # DESCRIPTION: Isabelle make utility
18.1 --- a/lib/Tools/makeall Fri Dec 19 16:16:10 2008 -0800
18.2 +++ b/lib/Tools/makeall Sat Dec 20 11:39:34 2008 +0100
18.3 @@ -1,6 +1,5 @@
18.4 #!/usr/bin/env bash
18.5 #
18.6 -# $Id$
18.7 # Author: Markus Wenzel, TU Muenchen
18.8 #
18.9 # DESCRIPTION: apply make utility to all logics
19.1 --- a/lib/Tools/mkdir Fri Dec 19 16:16:10 2008 -0800
19.2 +++ b/lib/Tools/mkdir Sat Dec 20 11:39: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 # DESCRIPTION: prepare logic session directory
20.1 --- a/lib/Tools/mkfifo Fri Dec 19 16:16:10 2008 -0800
20.2 +++ b/lib/Tools/mkfifo Sat Dec 20 11:39:34 2008 +0100
20.3 @@ -1,6 +1,5 @@
20.4 #!/usr/bin/env bash
20.5 #
20.6 -# $Id$
20.7 # Author: Makarius
20.8 #
20.9 # DESCRIPTION: create named pipe
21.1 --- a/lib/Tools/mkproject Fri Dec 19 16:16:10 2008 -0800
21.2 +++ b/lib/Tools/mkproject Sat Dec 20 11:39:34 2008 +0100
21.3 @@ -1,7 +1,6 @@
21.4 #!/usr/bin/env bash
21.5 #
21.6 -# $Id$
21.7 -# Author: David Aspinall and Makarius Wenzel
21.8 +# Author: David Aspinall
21.9 #
21.10 # DESCRIPTION: prepare a session directory for PG-Eclipse
21.11
22.1 --- a/lib/Tools/print Fri Dec 19 16:16:10 2008 -0800
22.2 +++ b/lib/Tools/print Sat Dec 20 11:39:34 2008 +0100
22.3 @@ -1,6 +1,5 @@
22.4 #!/usr/bin/env bash
22.5 #
22.6 -# $Id$
22.7 # Author: Markus Wenzel, TU Muenchen
22.8 #
22.9 # DESCRIPTION: print document
23.1 --- a/lib/Tools/rmfifo Fri Dec 19 16:16:10 2008 -0800
23.2 +++ b/lib/Tools/rmfifo Sat Dec 20 11:39:34 2008 +0100
23.3 @@ -1,6 +1,5 @@
23.4 #!/usr/bin/env bash
23.5 #
23.6 -# $Id$
23.7 # Author: Makarius
23.8 #
23.9 # DESCRIPTION: remove named pipe
24.1 --- a/lib/Tools/scala Fri Dec 19 16:16:10 2008 -0800
24.2 +++ b/lib/Tools/scala Sat Dec 20 11:39:34 2008 +0100
24.3 @@ -1,6 +1,5 @@
24.4 #!/usr/bin/env bash
24.5 #
24.6 -# $Id$
24.7 # Author: Makarius
24.8 #
24.9 # DESCRIPTION: invoke Scala within the Isabelle environment
25.1 --- a/lib/Tools/tty Fri Dec 19 16:16:10 2008 -0800
25.2 +++ b/lib/Tools/tty Sat Dec 20 11:39:34 2008 +0100
25.3 @@ -1,6 +1,5 @@
25.4 #!/usr/bin/env bash
25.5 #
25.6 -# $Id$
25.7 # Author: Markus Wenzel, TU Muenchen
25.8 #
25.9 # DESCRIPTION: run Isabelle process with plain tty interaction
26.1 --- a/lib/Tools/unsymbolize Fri Dec 19 16:16:10 2008 -0800
26.2 +++ b/lib/Tools/unsymbolize Sat Dec 20 11:39:34 2008 +0100
26.3 @@ -1,6 +1,5 @@
26.4 #!/usr/bin/env bash
26.5 #
26.6 -# $Id$
26.7 # Author: Markus Wenzel, TU Muenchen
26.8 #
26.9 # DESCRIPTION: remove unreadable symbol names from sources
27.1 --- a/lib/Tools/usedir Fri Dec 19 16:16:10 2008 -0800
27.2 +++ b/lib/Tools/usedir Sat Dec 20 11:39:34 2008 +0100
27.3 @@ -1,6 +1,5 @@
27.4 #!/usr/bin/env bash
27.5 #
27.6 -# $Id$
27.7 # Author: Markus Wenzel, TU Muenchen
27.8 #
27.9 # DESCRIPTION: build object-logic or run examples
28.1 --- a/lib/Tools/version Fri Dec 19 16:16:10 2008 -0800
28.2 +++ b/lib/Tools/version Sat Dec 20 11:39:34 2008 +0100
28.3 @@ -1,6 +1,5 @@
28.4 #!/usr/bin/env bash
28.5 #
28.6 -# $Id$
28.7 # Author: Stefan Berghofer, TU Muenchen
28.8 #
28.9 # DESCRIPTION: display Isabelle version
29.1 --- a/lib/Tools/yxml Fri Dec 19 16:16:10 2008 -0800
29.2 +++ b/lib/Tools/yxml Sat Dec 20 11:39:34 2008 +0100
29.3 @@ -1,6 +1,5 @@
29.4 #!/usr/bin/env bash
29.5 #
29.6 -# $Id$
29.7 # Author: Makarius
29.8 #
29.9 # DESCRIPTION: simple XML to YXML converter