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/vscode_model.scala
changeset 72772 a9ef39041114
parent 72761 4519eeefe3b5
child 75393 87ebf5a50283 
--- a/src/Tools/VSCode/src/vscode_model.scala	Sun Nov 29 14:27:15 2020 +0100
+++ b/src/Tools/VSCode/src/vscode_model.scala	Sun Nov 29 14:57:15 2020 +0100
@@ -99,7 +99,7 @@
 
   def node_header: Document.Node.Header =
     resources.special_header(node_name) getOrElse
-      resources.check_thy_reader(node_name, Scan.char_reader(content.text))
+      resources.check_thy(node_name, Scan.char_reader(content.text))
 
 
   /* perspective */
isabelle