# HG changeset patch
# User immler@in.tum.de
# Date 1233612524 -3600
# Node ID 7407bc6cf28d00b2315c63e26da5a0b50b128f8e
# Parent  163cda24961990b1347c090e58ffb7b378e60630
referred to old version of TokenMarker

diff -r 163cda249619 -r 7407bc6cf28d src/Tools/jEdit/src/jedit/DynamicTokenMarker.scala
--- a/src/Tools/jEdit/src/jedit/DynamicTokenMarker.scala	Mon Feb 02 23:05:25 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/DynamicTokenMarker.scala	Mon Feb 02 23:08:44 2009 +0100
@@ -2,8 +2,6 @@
  * include isabelle's command- and keyword-declarations
  * live in jEdits syntax-highlighting
  *
- * one TokenMarker per prover
- *
  * @author Fabian Immler, TU Munich
  */