--- a/src/Pure/library.ML Mon Mar 07 21:33:41 2016 +0100
+++ b/src/Pure/library.ML Mon Mar 07 21:53:21 2016 +0100
@@ -206,8 +206,6 @@
eqtype stamp
val stamp: unit -> stamp
structure Any: sig type T = exn end
- val cd: string -> unit
- val pwd: unit -> string
val getenv: string -> string
val getenv_strict: string -> string
end;
@@ -1014,12 +1012,6 @@
structure Any = struct type T = exn end;
-(* current directory *)
-
-val cd = OS.FileSys.chDir o ML_System.platform_path;
-val pwd = ML_System.standard_path o OS.FileSys.getDir;
-
-
(* getenv *)
fun getenv x =