lib/ProofGeneral/schemas.xml
changeset 24825 c4f13ab78f9d
parent 17736 863cdca5c77a