src/Doc/System/Sessions.thy
changeset 54705 0dff3326d12a
parent 54704 ea71549629e2
child 55112 b1a5d603fd12
     1.1 --- a/src/Doc/System/Sessions.thy	Mon Dec 09 12:27:18 2013 +0100
     1.2 +++ b/src/Doc/System/Sessions.thy	Mon Dec 09 20:16:12 2013 +0100
     1.3 @@ -356,7 +356,7 @@
     1.4  
     1.5    \medskip Option @{verbatim "-s"} enables \emph{system mode}, which
     1.6    means that resulting heap images and log files are stored in
     1.7 -  @{verbatim "$ISABELLE_HOME/heaps"} instead of the default location
     1.8 +  @{file_unchecked "$ISABELLE_HOME/heaps"} instead of the default location
     1.9    @{setting ISABELLE_OUTPUT} (which is normally in @{setting
    1.10    ISABELLE_HOME_USER}, i.e.\ the user's home directory).
    1.11