lib/ProofGeneral/schemas.xml
author wenzelm
Sun, 10 Dec 2006 15:30:39 +0100
changeset 21741 5f3d62008bb5
parent 17736 863cdca5c77a
permissions -rw-r--r--
added no_frees; add_abbrev: tuned handling of frees, temp workaround;

<?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>