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/Pure/General/file.scala
changeset 73911 a8c5ee444991
parent 73906 f627ffab387b
child 73945 e61add9d5b5e 
--- a/src/Pure/General/file.scala	Thu Jul 01 12:34:42 2021 +0200
+++ b/src/Pure/General/file.scala	Thu Jul 01 13:46:42 2021 +0200
@@ -29,7 +29,7 @@
   def standard_path(path: Path): String = path.expand.implode
 
   def standard_path(platform_path: String): String =
-    isabelle.setup.Environment.standard_path(Isabelle_System.cygwin_root(), platform_path)
+    isabelle.setup.Environment.standard_path(platform_path)
 
   def standard_path(file: JFile): String = standard_path(file.getPath)
 
@@ -46,7 +46,7 @@
   /* platform path (Windows or Posix) */
 
   def platform_path(standard_path: String): String =
-    isabelle.setup.Environment.platform_path(Isabelle_System.cygwin_root(), standard_path)
+    isabelle.setup.Environment.platform_path(standard_path)
 
   def platform_path(path: Path): String = platform_path(standard_path(path))
   def platform_file(path: Path): JFile = new JFile(platform_path(path))
isabelle