bin/isatool
changeset 2307 508d2a233dbc
parent 2293 749757db3ead
child 2344 c3e1eaea4418
     1.1 --- a/bin/isatool	Wed Dec 04 12:30:49 1996 +0100
     1.2 +++ b/bin/isatool	Wed Dec 04 13:05:47 1996 +0100
     1.3 @@ -1,8 +1,8 @@
     1.4  #!/bin/bash
     1.5  #
     1.6 +# $Id$
     1.7 +#
     1.8  # Isabelle tool starter -- keeps your PATH name space clean.
     1.9 -#
    1.10 -# $Id$
    1.11  
    1.12  
    1.13  ## settings
    1.14 @@ -11,7 +11,6 @@
    1.15  . $ISABELLE_HOME/lib/scripts/getsettings
    1.16  
    1.17  
    1.18 -
    1.19  ## diagnostics
    1.20  
    1.21  PRG=$(basename $0)