--- a/src/Pure/PIDE/protocol.scala Thu Aug 20 20:36:06 2015 +0200
+++ b/src/Pure/PIDE/protocol.scala Thu Aug 20 21:08:47 2015 +0200
@@ -368,7 +368,7 @@
variant(List(
{ case Document.Node.Edits(a) => (Nil, list(pair(option(id), option(id)))(a)) },
{ case Document.Node.Deps(header) =>
- val master_dir = Isabelle_System.posix_path_url(name.master_dir)
+ val master_dir = File.standard_url(name.master_dir)
val theory = Long_Name.base_name(name.theory)
val imports = header.imports.map({ case (a, _) => a.node })
val keywords = header.keywords.map({ case (a, b, _) => (a, b) })