Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified comment -- ancienct PG 3.7.x is still in use;
authorwenzelm
Tue, 08 Feb 2011 21:06:03 +0100
changeset 41733 775da08dae1b
parent 41732 996b0c14a430
child 41734 d92cc39097e6
clarified comment -- ancienct PG 3.7.x is still in use;
src/Pure/ProofGeneral/pgip_types.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ProofGeneral/pgip_types.ML	Tue Feb 08 20:59:12 2011 +0100
+++ b/src/Pure/ProofGeneral/pgip_types.ML	Tue Feb 08 21:06:03 2011 +0100
@@ -273,7 +273,7 @@
                     | Pgipbool => "pgipbool"
                     | Pgipint _ => "pgipint"
                     | Pgipnat => "pgipint"
-                    | Pgipreal => "pgipint"  (* FIXME sic? *)
+                    | Pgipreal => "pgipint"  (*sic!*)  (*required for PG 4.0 and 3.7.x*)
                     | Pgipstring => "pgipstring"
                     | Pgipconst _ => "pgipconst"
                     | Pgipchoice _ => "pgipchoice"
isabelle