src/Doc/System/Basics.thy

--- a/src/Doc/System/Basics.thy	Thu Oct 09 11:00:15 2014 +0200
+++ b/src/Doc/System/Basics.thy	Thu Oct 09 11:15:03 2014 +0200
@@ -272,8 +272,7 @@
   
   \item[@{setting_def ISABELLE_TMP_PREFIX}@{text "\<^sup>*"}] is the
   prefix from which any running @{executable "isabelle_process"}
-  derives an individual directory for temporary files.  The default is
-  somewhere in @{file_unchecked "/tmp"}.
+  derives an individual directory for temporary files.
   
   \end{description}
 \<close>