diff -r 7c517c92d315 -r f196352201d6 lib/ProofGeneral/schemas.xml
--- a/lib/ProofGeneral/schemas.xml	Sat May 11 18:16:17 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,5 +0,0 @@
-<?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>