proofsystem_err
[
plain text
]
./test/relaxng/proofsystem.rng validates