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/PIDE/resources.scala
changeset 64759 100941134718
parent 64718 3197b68f4314
child 64797 891a25a87ea1 
--- a/src/Pure/PIDE/resources.scala	Mon Jan 02 18:08:04 2017 +0100
+++ b/src/Pure/PIDE/resources.scala	Tue Jan 03 14:17:03 2017 +0100
@@ -48,10 +48,6 @@
     if (Path.is_valid(raw_name)) append(dir, Path.explode(raw_name))
     else raw_name
 
-  def append_file_url(dir: String, raw_name: String): String =
-    if (Path.is_valid(raw_name)) "file://" + append(dir, Path.explode(raw_name))
-    else raw_name
-
 
 
   /* source files of Isabelle/ML bootstrap */
isabelle