| changeset 35022 | c844b93dd147 |
| parent 29143 | 72c960b2b83e |
| child 52617 | 42e02ddd1568 |
--- a/lib/Tools/unsymbolize Sun Feb 07 19:33:34 2010 +0100 +++ b/lib/Tools/unsymbolize Sun Feb 07 19:54:12 2010 +0100 @@ -34,4 +34,4 @@ ## main find $SPECS \( -name \*.ML -o -name \*.thy \) -print | \ - xargs perl -w "$ISABELLE_HOME/lib/scripts/unsymbolize.pl" + xargs "$ISABELLE_HOME/lib/scripts/unsymbolize"