index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
etc
/
pgkit
/
xmltest1.xml
blob: 08ff09841bb1cd11f74a2304e7533f551e1809c9 (
plain
)
1
2
3
<a>
test
a
<b>
test
b
<c>
test
</c></b>
end
test
a
</a>
