lib/ProofGeneral/schemas.xml
author wenzelm
Mon, 09 Mar 2009 17:53:53 +0100
changeset 30390 ad591ee76c78
parent 17736 863cdca5c77a
permissions -rw-r--r--
simplified interface to define document antiquotations, cf. antiquotatation, maybe_pretty_source, output; removed incomprehensible args parser setup; removed obsolete locale flag -- text is already localized; misc tuning and cleanup of concrete antiquotations; goal state antiquotations: ignore source flag;

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