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.
more operations;
authorwenzelm
Fri, 14 Oct 2016 21:34:52 +0200
changeset 64214 284e8ca54c21
parent 64213 b265dd04d57d
child 64215 123e6dcd3852
more operations;
src/Pure/General/file.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/file.scala	Fri Oct 14 20:53:10 2016 +0200
+++ b/src/Pure/General/file.scala	Fri Oct 14 21:34:52 2016 +0200
@@ -56,6 +56,8 @@
     }
     catch { case _: MalformedURLException => standard_path(name) }
 
+  def path(file: JFile): Path = Path.explode(standard_path(file.getAbsolutePath))
+
 
   /* platform path (Windows or Posix) */
isabelle