Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper log;
authorwenzelm
Sat, 31 Dec 2016 14:20:50 +0100
changeset 64720 8cc2d7c4ada1
parent 64719 55c871fc39e3
child 64721 4b9c96c3850b
proper log;
src/Tools/VSCode/src/server.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/src/server.scala	Sat Dec 31 11:45:24 2016 +0100
+++ b/src/Tools/VSCode/src/server.scala	Sat Dec 31 14:20:50 2016 +0100
@@ -186,8 +186,8 @@
       try {
         val content = Build.session_content(options, false, session_dirs, session_name)
         val resources =
-          new VSCode_Resources(
-            options, text_length, content.loaded_theories, content.known_theories, content.syntax)
+          new VSCode_Resources(options, text_length, content.loaded_theories,
+            content.known_theories, content.syntax, log)
 
         Some(new Session(resources) {
           override def output_delay = options.seconds("editor_output_delay")
isabelle