src/Pure/General/file.ML

--- a/src/Pure/General/file.ML	Thu Oct 15 12:23:24 2009 +0200
+++ b/src/Pure/General/file.ML	Thu Oct 15 15:45:50 2009 +0200
@@ -7,6 +7,7 @@
 signature FILE =
 sig
   val platform_path: Path.T -> string
+  val shell_quote: string -> string
   val shell_path: Path.T -> string
   val cd: Path.T -> unit
   val pwd: unit -> Path.T