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