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/isabelle.scala
changeset 62631 c39614ddb80b
parent 62104 fb73c0d7bb37
child 63236 48bc9045866e 
--- a/src/Tools/jEdit/src/isabelle.scala	Tue Mar 15 16:23:27 2016 +0100
+++ b/src/Tools/jEdit/src/isabelle.scala	Tue Mar 15 22:01:26 2016 +0100
@@ -51,7 +51,7 @@
     mode match {
       case "isabelle" => Some(PIDE.resources.base_syntax.asInstanceOf[Outer_Syntax])
       case "isabelle-options" => Some(Options.options_syntax)
-      case "isabelle-root" => Some(Build.root_syntax)
+      case "isabelle-root" => Some(Sessions.root_syntax)
       case "isabelle-ml" => Some(ml_syntax)
       case "isabelle-news" => Some(news_syntax)
       case "isabelle-output" => None
isabelle