| changeset 9788 | df671fa2562a |
| parent 6082 | 590f9e3bf4d8 |
| child 10555 | 2323ec838401 |
--- a/lib/Tools/symbolinput Fri Sep 01 17:48:31 2000 +0200 +++ b/lib/Tools/symbolinput Fri Sep 01 17:50:36 2000 +0200 @@ -1,10 +1,12 @@ #!/bin/bash # # $Id$ +# Author: Markus Wenzel, TU Muenchen +# License: GPL (GNU GENERAL PUBLIC LICENSE) # # DESCRIPTION: translate symbols into \<...> sequences #set by configure AUTO_PERL=perl -exec $AUTO_PERL -w $ISABELLE_HOME/lib/scripts/symbolinput.pl "$@" +exec "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/symbolinput.pl" "$@"