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.
tuned;
authorwenzelm
Wed, 07 Dec 2022 12:41:31 +0100
changeset 76591 b9a7a658f7df
parent 76590 3fc3c7c285cd
child 76592 ec8bf1268f45
tuned;
src/Tools/VSCode/src/vscode_resources.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/src/vscode_resources.scala	Wed Dec 07 12:38:06 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_resources.scala	Wed Dec 07 12:41:31 2022 +0100
@@ -208,9 +208,9 @@
     file_watcher: File_Watcher
   ): (Boolean, Boolean) = {
     state.change_result { st =>
-      val thy_files = resources.resolve_dependencies(st.models, Nil)
+      val stable_tip_version = session.stable_tip_version(st.models)
 
-      val stable_tip_version = session.stable_tip_version(st.models)
+      val thy_files = resources.resolve_dependencies(st.models, Nil)
       val aux_files = stable_tip_version.toList.flatMap(undefined_blobs)
 
       val loaded_models =
isabelle