changeset 35022 | c844b93dd147 |
parent 29143 | 72c960b2b83e |
child 52617 | 42e02ddd1568 |
35021:c839a4c670c6 | 35022:c844b93dd147 |
---|---|
32 |
32 |
33 |
33 |
34 ## main |
34 ## main |
35 |
35 |
36 find $SPECS \( -name \*.ML -o -name \*.thy \) -print | \ |
36 find $SPECS \( -name \*.ML -o -name \*.thy \) -print | \ |
37 xargs perl -w "$ISABELLE_HOME/lib/scripts/unsymbolize.pl" |
37 xargs "$ISABELLE_HOME/lib/scripts/unsymbolize" |