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/plugin.scala
changeset 62973 744266e32612
parent 62917 eed66ba99bd9
child 63747 b9b5a0ab54ee 
--- a/src/Tools/jEdit/src/plugin.scala	Thu Apr 14 12:00:29 2016 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Thu Apr 14 12:08:38 2016 +0200
@@ -410,7 +410,7 @@
 
       JEdit_Lib.jedit_text_areas.foreach(Completion_Popup.Text_Area.init _)
 
-      val content = Isabelle_Logic.session_content(false)
+      val content = JEdit_Sessions.session_content(false)
       val resources =
         new JEdit_Resources(content.loaded_theories, content.known_theories, content.syntax)
isabelle