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.
proper support for Windows;
authorwenzelm
Fri, 11 Nov 2022 23:25:24 +0100
changeset 76509 b01b0014c3f9
parent 76508 ecb9e6d29698
child 76510 b0ad975cd25b
proper support for Windows;
src/Pure/General/js.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/js.scala	Fri Nov 11 23:04:55 2022 +0100
+++ b/src/Pure/General/js.scala	Fri Nov 11 23:25:24 2022 +0100
@@ -35,5 +35,5 @@
     string(File.standard_path(p) + (if (dir) "/" else ""))
 
   def platform_path(p: Path, dir: Boolean = false): Source =
-    string(File.platform_path(p) + (if (dir) File.platform_path(Path.root) else ""))
+    string(File.platform_path(p) + (if (dir) "/" else ""))
 }
isabelle