Cross Reference: pretty.sh
xref
: /
hets
/
Isabelle
/
export
/
pretty.sh
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
pretty.sh revision 255a89789d3d5b19f6a8c96bf6c260a96158ef6d
869
N/A
for
f
in
./
examples
/*.
isa
869
N/A
do
869
N/A
cat
$f |
tidy
-
utf8
-
xml
-w
255
-i -c -q -
asxml
>
"${f}
.pretty.xml
"
869
N/A
done
869
N/A