removed Ids;
authorwenzelm
Sat Dec 20 11:39:27 2008 +0100 (2008-12-20)
changeset 2914372c960b2b83e
parent 29140 e7ac5bb20aed
child 29144 ca186ebbd824
removed Ids;
lib/Tools/browser
lib/Tools/codegen
lib/Tools/dimacs2hol
lib/Tools/display
lib/Tools/doc
lib/Tools/document
lib/Tools/emacs
lib/Tools/env
lib/Tools/findlogics
lib/Tools/getenv
lib/Tools/install
lib/Tools/java
lib/Tools/jedit
lib/Tools/keywords
lib/Tools/latex
lib/Tools/logo
lib/Tools/make
lib/Tools/makeall
lib/Tools/mkdir
lib/Tools/mkfifo
lib/Tools/mkproject
lib/Tools/print
lib/Tools/rmfifo
lib/Tools/scala
lib/Tools/tty
lib/Tools/unsymbolize
lib/Tools/usedir
lib/Tools/version
lib/Tools/yxml
     1.1 --- a/lib/Tools/browser	Fri Dec 19 20:37:29 2008 +0100
     1.2 +++ b/lib/Tools/browser	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
     2.2 +++ b/lib/Tools/codegen	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
     3.2 +++ b/lib/Tools/dimacs2hol	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
     4.2 +++ b/lib/Tools/display	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
     5.2 +++ b/lib/Tools/doc	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
     6.2 +++ b/lib/Tools/document	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
     7.2 +++ b/lib/Tools/emacs	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
     8.2 +++ b/lib/Tools/env	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
     9.2 +++ b/lib/Tools/findlogics	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    10.2 +++ b/lib/Tools/getenv	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    11.2 +++ b/lib/Tools/install	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    12.2 +++ b/lib/Tools/java	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    13.2 +++ b/lib/Tools/jedit	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    14.2 +++ b/lib/Tools/keywords	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    15.2 +++ b/lib/Tools/latex	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    16.2 +++ b/lib/Tools/logo	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    17.2 +++ b/lib/Tools/make	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    18.2 +++ b/lib/Tools/makeall	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    19.2 +++ b/lib/Tools/mkdir	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    20.2 +++ b/lib/Tools/mkfifo	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    21.2 +++ b/lib/Tools/mkproject	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    22.2 +++ b/lib/Tools/print	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    23.2 +++ b/lib/Tools/rmfifo	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    24.2 +++ b/lib/Tools/scala	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    25.2 +++ b/lib/Tools/tty	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    26.2 +++ b/lib/Tools/unsymbolize	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    27.2 +++ b/lib/Tools/usedir	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    28.2 +++ b/lib/Tools/version	Sat Dec 20 11:39:27 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 20:37:29 2008 +0100
    29.2 +++ b/lib/Tools/yxml	Sat Dec 20 11:39:27 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