# HG changeset patch
# User immler@in.tum.de
# Date 1243962058 -7200
# Node ID 6c13b1974cd13136d22607c26ffcbb0ecb436cd9
# Parent  cf37a9f988bf8445815cf0070778f0c936204e12
fixed duplicate document-id

diff -r cf37a9f988bf -r 6c13b1974cd1 src/Tools/jEdit/src/proofdocument/ProofDocument.scala
--- a/src/Tools/jEdit/src/proofdocument/ProofDocument.scala	Tue Jun 02 19:00:58 2009 +0200
+++ b/src/Tools/jEdit/src/proofdocument/ProofDocument.scala	Tue Jun 02 19:00:58 2009 +0200
@@ -59,7 +59,7 @@
     return (doc.mark_active, change)
   }
   def set_command_keyword(f: String => Boolean): ProofDocument =
-    new ProofDocument(id, tokens, token_start, commands, active, f)
+    new ProofDocument(isabelle.jedit.Isabelle.plugin.id(), tokens, token_start, commands, active, f)
 
   def content = Token.string_from_tokens(List() ++ tokens, token_start)
   /** token view **/