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/VSCode/src/server.scala
changeset 66976 806bc39550a5
parent 66964 9f2de457b95e
child 67292 386ddccfccbf 
--- a/src/Tools/VSCode/src/server.scala	Wed Nov 01 16:38:15 2017 +0100
+++ b/src/Tools/VSCode/src/server.scala	Wed Nov 01 16:43:51 2017 +0100
@@ -269,7 +269,7 @@
         }
 
         val session_base =
-          Sessions.session_base_info(
+          Sessions.base_info(
             options, session_name, dirs = session_dirs, all_known = all_known).check_base
         val resources = new VSCode_Resources(options, session_base, log)
           {
isabelle