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.
Update PGML version, add system name
authoraspinall
Thu, 05 Jul 2007 20:36:48 +0200
changeset 23603 4a2e36475367
parent 23602 361e9c3a5e3a
child 23604 56f945f1ed50
Update PGML version, add system name
src/Pure/ProofGeneral/pgip_isabelle.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ProofGeneral/pgip_isabelle.ML	Thu Jul 05 20:01:39 2007 +0200
+++ b/src/Pure/ProofGeneral/pgip_isabelle.ML	Thu Jul 05 20:36:48 2007 +0200
@@ -9,6 +9,7 @@
 sig
     val isabelle_pgml_version_supported : string
     val isabelle_pgip_version_supported : string
+    val systemid : string
     val accepted_inputs : (string * bool * (string list)) list 
 
     val location_of_position : Position.T -> PgipTypes.location
@@ -30,8 +31,9 @@
 structure PgipIsabelle : PGIP_ISABELLE =
 struct
 
-val isabelle_pgml_version_supported = "1.0";
+val isabelle_pgml_version_supported = "2.0";
 val isabelle_pgip_version_supported = "2.0"
+val systemid = "Isabelle"
 
 (** Accepted commands **)
isabelle