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_main.scala
changeset 83435 0f9bae334ac6
parent 83434 5c70d1c27a2e 
--- a/src/Tools/VSCode/src/vscode_main.scala	Sat Nov 01 00:04:57 2025 +0100
+++ b/src/Tools/VSCode/src/vscode_main.scala	Sat Nov 01 13:56:39 2025 +0100
@@ -269,7 +269,7 @@
           var logic_requirements = false
           val dirs = new mutable.ListBuffer[Path]
           val include_sessions = new mutable.ListBuffer[String]
-          var logic = Isabelle_System.getenv("ISABELLE_LOGIC")
+          var logic = Isabelle_System.default_logic()
           var modes: List[String] = Nil
           var no_build = false
           var options = Options.init()
@@ -285,7 +285,7 @@
     -d DIR       include session directory
     -i NAME      include session in name-space of theories
     -l NAME      logic session name (default ISABELLE_LOGIC=""" +
-            quote(Isabelle_System.getenv("ISABELLE_LOGIC")) + """)
+            quote(Isabelle_System.default_logic()) + """)
     -m MODE      add print mode for output
     -n           no build of session image on startup
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
isabelle