changeset 15847 | c05c7670f166 |
parent 15574 | b1d1b5bfc464 |
child 26576 | fc76b7b79ba9 |
15846:6f24b0c36dbd | 15847:c05c7670f166 |
---|---|
33 |
33 |
34 |
34 |
35 ## main |
35 ## main |
36 |
36 |
37 #set by configure |
37 #set by configure |
38 AUTO_PERL=/usr/bin/perl |
38 AUTO_PERL=perl |
39 |
39 |
40 find $SPECS \( -name \*.ML -o -name \*.thy \) -print | \ |
40 find $SPECS \( -name \*.ML -o -name \*.thy \) -print | \ |
41 xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/unsymbolize.pl" |
41 xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/unsymbolize.pl" |