Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
referred to old version of TokenMarker
authorimmler@in.tum.de
Mon, 02 Feb 2009 23:08:44 +0100 (2009-02-02)
changeset 34518 7407bc6cf28d
parent 34517 163cda249619
child 34519 92f50a3b4a6a
child 34522 7cd619ee3917
child 34534 b06946a1d4cb
referred to old version of TokenMarker
src/Tools/jEdit/src/jedit/DynamicTokenMarker.scala file | annotate | diff | comparison | revisions 
--- 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
  */
isabelle