Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/token_markup.scala
changeset 50205 788c8263e634
parent 50199 6d04e2422769
child 50210 747db833fbf7 
--- a/src/Tools/jEdit/src/token_markup.scala	Sun Nov 25 20:31:49 2012 +0100
+++ b/src/Tools/jEdit/src/token_markup.scala	Sun Nov 25 20:59:32 2012 +0100
@@ -265,7 +265,7 @@
   /* mode provider */
 
   private val markers = Map(
-    "isabelle" -> new Token_Markup.Marker(true, Isabelle.get_recent_syntax()),
+    "isabelle" -> new Token_Markup.Marker(true, PIDE.get_recent_syntax()),
     "isabelle-options" -> new Token_Markup.Marker(false, Some(Options.options_syntax)),
     "isabelle-root" -> new Token_Markup.Marker(false, Some(Build.root_syntax)))
isabelle