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 bootstrap name, e.g. for Pure.thy;
authorwenzelm
Mon, 02 Jan 2017 15:53:41 +0100
changeset 64754 74d8793feceb
parent 64753 79ed396709e4
child 64755 ceb81f4928ea
proper bootstrap name, e.g. for Pure.thy;
src/Tools/VSCode/src/vscode_resources.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/src/vscode_resources.scala	Mon Jan 02 15:00:55 2017 +0100
+++ b/src/Tools/VSCode/src/vscode_resources.scala	Mon Jan 02 15:53:41 2017 +0100
@@ -40,7 +40,7 @@
 
   def node_name(uri: String): Document.Node.Name =
   {
-    val theory = Thy_Header.thy_name(uri).getOrElse("")
+    val theory = Thy_Header.thy_name_bootstrap(uri).getOrElse("")
     val master_dir =
       if (!Url.is_wellformed_file(uri) || theory == "") ""
       else Url.file(uri).getCanonicalFile.getParent
isabelle