index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
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>