--- a/src/Doc/System/Sessions.thy Thu Aug 11 18:26:16 2016 +0200
+++ b/src/Doc/System/Sessions.thy Thu Aug 11 18:26:44 2016 +0200
@@ -344,9 +344,9 @@
\<^medskip>
Option \<^verbatim>\<open>-s\<close> enables \<^emph>\<open>system mode\<close>, which means that resulting heap images
- and log files are stored in @{file_unchecked "$ISABELLE_HOME/heaps"} instead
- of the default location @{setting ISABELLE_OUTPUT} (which is normally in
- @{setting ISABELLE_HOME_USER}, i.e.\ the user's home directory).
+ and log files are stored in @{path "$ISABELLE_HOME/heaps"} instead of the
+ default location @{setting ISABELLE_OUTPUT} (which is normally in @{setting
+ ISABELLE_HOME_USER}, i.e.\ the user's home directory).
\<^medskip>
Option \<^verbatim>\<open>-v\<close> increases the general level of verbosity. Option \<^verbatim>\<open>-l\<close> lists