changeset 26576 | fc76b7b79ba9 |
parent 15847 | c05c7670f166 |
child 28650 | a7ba12e0d3b7 |
26575:042617a1c86c | 26576:fc76b7b79ba9 |
---|---|
32 SPECS="$@"; shift "$#" |
32 SPECS="$@"; shift "$#" |
33 |
33 |
34 |
34 |
35 ## main |
35 ## main |
36 |
36 |
37 #set by configure |
|
38 AUTO_PERL=perl |
|
39 |
|
40 find $SPECS \( -name \*.ML -o -name \*.thy \) -print | \ |
37 find $SPECS \( -name \*.ML -o -name \*.thy \) -print | \ |
41 xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/unsymbolize.pl" |
38 xargs perl -w "$ISABELLE_HOME/lib/scripts/unsymbolize.pl" |