changeset 51932 | f196352201d6 |
parent 51931 | 7c517c92d315 |
child 51933 | a60c6c90a447 |
--- 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>