changeset 2307 | 508d2a233dbc |
parent 2293 | 749757db3ead |
child 2344 | c3e1eaea4418 |
--- a/bin/isatool Wed Dec 04 12:30:49 1996 +0100 +++ b/bin/isatool Wed Dec 04 13:05:47 1996 +0100 @@ -1,8 +1,8 @@ #!/bin/bash # +# $Id$ +# # Isabelle tool starter -- keeps your PATH name space clean. -# -# $Id$ ## settings @@ -11,7 +11,6 @@ . $ISABELLE_HOME/lib/scripts/getsettings - ## diagnostics PRG=$(basename $0)