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 65361 ecefb68dc21d
parent 65259 41d12227d5dc
child 66116 dad409cd3423 
--- a/src/Tools/jEdit/src/isabelle.scala	Mon Apr 03 16:50:44 2017 +0200
+++ b/src/Tools/jEdit/src/isabelle.scala	Mon Apr 03 17:00:36 2017 +0200
@@ -50,7 +50,7 @@
 
   def mode_syntax(mode: String): Option[Outer_Syntax] =
     mode match {
-      case "isabelle" => Some(PIDE.resources.base.syntax)
+      case "isabelle" => Some(PIDE.resources.session_base.syntax)
       case "isabelle-options" => Some(Options.options_syntax)
       case "isabelle-root" => Some(Sessions.root_syntax)
       case "isabelle-ml" => Some(ml_syntax)
isabelle