src/HOL/Tools/Quickcheck/narrowing_generators.ML
changeset 43602 8c89a1fb30f2
parent 43585 ea959ab7bbe3
child 43619 3803869014aa
--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Thu Jun 30 11:15:36 2011 +0200
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Thu Jun 30 13:21:41 2011 +0200
@@ -206,7 +206,8 @@
 
 fun with_overlord_dir name f =
   let
-    val path = Path.append (Path.explode "~/.isabelle") (Path.basic (name ^ serial_string ()))
+    val path =
+      Path.append (Path.explode "$ISABELLE_HOME_USER") (Path.basic (name ^ serial_string ()))
     val _ = Isabelle_System.mkdirs path;
   in Exn.release (Exn.capture f path) end;