changeset 34518 | 7407bc6cf28d |
parent 34517 | 163cda249619 |
child 34521 | fc851e58a610 |
child 34522 | 7cd619ee3917 |
--- 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 */