changeset 15847 | c05c7670f166 |
parent 15574 | b1d1b5bfc464 |
child 26576 | fc76b7b79ba9 |
--- a/lib/Tools/unsymbolize Tue Apr 26 19:50:31 2005 +0200 +++ b/lib/Tools/unsymbolize Tue Apr 26 19:50:57 2005 +0200 @@ -35,7 +35,7 @@ ## main #set by configure -AUTO_PERL=/usr/bin/perl +AUTO_PERL=perl find $SPECS \( -name \*.ML -o -name \*.thy \) -print | \ xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/unsymbolize.pl"