]> matita.cs.unibo.it Git - helm.git/blob - 063.out
128b1915069a083380b050f8bc8ddd8bee56bb9f
[helm.git] / 063.out
1 In entity [toplevel] = SYSTEM "file://localhost/home/gerd/ocaml/smcvs/ocamlpkg/markup/rtests/negative/data_jclark_notwf/sa/063.xml", at line 2, position 0:
2 ERROR (Well-formedness constraint): Restriction of the internal subset: Conditional sections not allowed