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/grammar.scala
changeset 65210 8cfdf420b643
parent 65175 93fb59c68052
child 65251 4b0a43afc3fb 
--- a/src/Tools/VSCode/src/grammar.scala	Mon Mar 13 15:32:19 2017 +0100
+++ b/src/Tools/VSCode/src/grammar.scala	Mon Mar 13 15:59:00 2017 +0100
@@ -159,7 +159,7 @@
     val more_args = getopts(args)
     if (more_args.nonEmpty) getopts.usage()
 
-    val keywords = Build.outer_syntax(Options.init(), dirs, logic).keywords
+    val keywords = Build.session_base(Options.init(), logic, dirs).syntax.keywords
     val output_path = output getOrElse Path.explode(default_output(logic))
 
     Output.writeln(output_path.implode)
isabelle