# HG changeset patch
# User wenzelm
# Date 1233078792 -3600
# Node ID 01021d160be7bd957f95aafe6d85b2177ad4b150
# Parent  384427c750c8dc86cd09aa27131b4a75d91b71d5
beginnings of global document state;

diff -r 384427c750c8 -r 01021d160be7 src/Tools/jEdit/src/prover/Prover.scala
--- a/src/Tools/jEdit/src/prover/Prover.scala	Tue Jan 27 18:16:24 2009 +0100
+++ b/src/Tools/jEdit/src/prover/Prover.scala	Tue Jan 27 18:53:12 2009 +0100
@@ -1,5 +1,5 @@
 /*
- * Higher-level prover communication
+ * Higher-level prover communication: interactive document model
  *
  * @author Johannes Hölzl, TU Munich
  * @author Fabian Immler, TU Munich
@@ -14,6 +14,7 @@
 
 import org.gjt.sp.util.Log
 
+import isabelle.jedit.Isabelle
 import isabelle.proofdocument.{ProofDocument, Text, Token}
 import isabelle.IsarDocument
 
@@ -57,7 +58,10 @@
 
   private var process: Isar = null
 
+  private val states = new mutable.HashMap[IsarDocument.State_ID, Command]
   private val commands = new mutable.HashMap[IsarDocument.Command_ID, Command]
+  private val document0 = Isabelle.plugin.id()
+  private val document_versions = new mutable.HashSet[IsarDocument.Document_ID] + document0
 
 
   private var initialized = false