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_resources.scala
changeset 70775 97d3485028b6
parent 70718 5bb025e24224
child 71649 2acdbb6ee521 
--- a/src/Tools/VSCode/src/vscode_resources.scala	Mon Sep 30 21:01:08 2019 +0200
+++ b/src/Tools/VSCode/src/vscode_resources.scala	Tue Oct 01 11:29:03 2019 +0200
@@ -233,7 +233,7 @@
 
         val stable_tip_version =
           if (st.models.forall(entry => entry._2.is_stable))
-            session.current_state().stable_tip_version
+            session.get_state().stable_tip_version
           else None
 
         val aux_files =
isabelle