# HG changeset patch
# User aspinall
# Date 1183660608 -7200
# Node ID 4a2e364753676ca97c0260a7484c62f4be57a4ba
# Parent  361e9c3a5e3a7dcce975ac14e13742bf452d0380
Update PGML version, add system name

diff -r 361e9c3a5e3a -r 4a2e36475367 src/Pure/ProofGeneral/pgip_isabelle.ML
--- 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 **)