lib/ProofGeneral/schemas.xml
author aspinall
Fri Sep 30 17:28:04 2005 +0200 (2005-09-30)
changeset 17736 863cdca5c77a
permissions -rw-r--r--
Schema files (for information, and validating pgip_isar.xml)
     1 <?xml version="1.0"?>
     2 <locatingRules xmlns="http://thaiopensource.com/ns/locating-rules/1.0">
     3   <uri resource="pgip_isar.xml" uri="pgip.rnc"/>
     4   <uri resource="pgip_isar.xml" typeId="RELAX NG"/>
     5 </locatingRules>