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.
vscode: indent;
authorThomas Lindae <thomas.lindae@in.tum.de>
Wed, 12 Jun 2024 21:14:41 +0200
changeset 81052 42dafe6efb8d
parent 81051 4fa6e5f9d393
child 81053 9cedc1fbed0f
vscode: indent;
src/Tools/VSCode/src/vscode_main.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/src/vscode_main.scala	Wed Jun 12 21:22:01 2024 +0200
+++ b/src/Tools/VSCode/src/vscode_main.scala	Wed Jun 12 21:14:41 2024 +0200
@@ -32,7 +32,7 @@
     verbose: Boolean = false,
     background: Boolean = false,
     progress: Progress = new Progress
-): Process_Result = {
+  ): Process_Result = {
     def platform_path(s: String): String = File.platform_path(Path.explode(s))
 
     val args_json =
isabelle