lib/ProofGeneral/schemas.xml
changeset 17736 863cdca5c77a
equal deleted inserted replaced
17735:e6948d8f5f73 17736:863cdca5c77a
       
     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>