# HG changeset patch
# User aspinall
# Date 1094682235 -7200
# Node ID 4ed712d3551f768fbc1f84ae839e8bec90f974b5
# Parent  294f2eb211dd5e15287e90866f1a1b228ffada83
Fix for schema changes in pgiptype

diff -r 294f2eb211dd -r 4ed712d3551f lib/ProofGeneral/pgip_isar.xml
--- a/lib/ProofGeneral/pgip_isar.xml	Wed Sep 08 21:57:19 2004 +0200
+++ b/lib/ProofGeneral/pgip_isar.xml	Thu Sep 09 00:23:55 2004 +0200
@@ -27,9 +27,9 @@
   <hasprefs prefcategory="Theorem attributes">
    <haspref name="thm-kind" descr="Theorem kind">
     <pgipchoice>
-     <pgipchoiceitem>theorem</pgipchoiceitem>
-     <pgipchoiceitem>lemma</pgipchoiceitem>
-     <pgipchoiceitem>corollary</pgipchoiceitem>
+     <pgipconst name="Theorem">theorem</pgipconst>
+     <pgipconst name="Lemma">lemma</pgipconst>
+     <pgipconst name="Corollary">corollary</pgipconst>
     </pgipchoice>
    </haspref>
    <haspref name="thm-simp" descr="Include in simplifier set">
@@ -134,8 +134,8 @@
       <field name="term"><pgipstring/><prompt>Input a term:</prompt></field>
       <field name="attributes">
 	<pgipchoice>
-	<pgipchoiceitem name="none"></pgipchoiceitem>
-	<pgipchoiceitem name="use in global simplifier context">[simp]</pgipchoiceitem>
+	<pgipconst name="none"></pgipconst>
+	<pgipconst name="use in global simplifier context">[simp]</pgipconst>
 	</pgipchoice>
 	<prompt>Attributes:</prompt></field>
     </inputform>