lib/ProofGeneral/schemas.xml
changeset 17736 863cdca5c77a
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/lib/ProofGeneral/schemas.xml	Fri Sep 30 17:28:04 2005 +0200
     1.3 @@ -0,0 +1,5 @@
     1.4 +<?xml version="1.0"?>
     1.5 +<locatingRules xmlns="http://thaiopensource.com/ns/locating-rules/1.0">
     1.6 +  <uri resource="pgip_isar.xml" uri="pgip.rnc"/>
     1.7 +  <uri resource="pgip_isar.xml" typeId="RELAX NG"/>
     1.8 +</locatingRules>