lib/Tools/symbolinput
changeset 6082 590f9e3bf4d8
parent 4508 f102cb0140fe
child 9788 df671fa2562a
     1.1 --- a/lib/Tools/symbolinput	Mon Jan 11 18:45:46 1999 +0100
     1.2 +++ b/lib/Tools/symbolinput	Tue Jan 12 12:17:53 1999 +0100
     1.3 @@ -4,4 +4,7 @@
     1.4  #
     1.5  # DESCRIPTION: translate symbols into \<...> sequences
     1.6  
     1.7 -exec perl -w $ISABELLE_HOME/lib/scripts/symbolinput.pl "$@"
     1.8 +#set by configure
     1.9 +AUTO_PERL=perl
    1.10 +
    1.11 +exec $AUTO_PERL -w $ISABELLE_HOME/lib/scripts/symbolinput.pl "$@"