]> matita.cs.unibo.it Git - helm.git/blob - 007.out
e8b088d74bedb139ffa3190935a57d25e3dbd627
[helm.git] / 007.out
1 In entity [toplevel] = SYSTEM "file://localhost/home/gerd/ocaml/smcvs/ocamlpkg/markup/rtests/negative/data_jclark_notwf/not-sa/007.xml", at line 1, position 30:
2 In entity [dtd] = SYSTEM "007.ent", at line 1, position 0:
3 ERROR (Well-formedness constraint): Declaration either malformed or not allowed in this context