more formal ISABELLE_BROWSER_INFO;
authorwenzelm
Mon Jan 06 17:47:44 2014 +0100 (2014-01-06 ago)
changeset 5493630e2503f1aa2
parent 54935 a7704d87f30a
child 54937 ce4bf91331e7
more formal ISABELLE_BROWSER_INFO;
src/Doc/System/Presentation.thy
src/Doc/Tutorial/Documents/Documents.thy
     1.1 --- a/src/Doc/System/Presentation.thy	Mon Jan 06 17:33:23 2014 +0100
     1.2 +++ b/src/Doc/System/Presentation.thy	Mon Jan 06 17:47:44 2014 +0100
     1.3 @@ -310,7 +310,7 @@
     1.4    inspect {\LaTeX} runs in further detail, e.g.\ like this:
     1.5  
     1.6  \begin{ttbox}
     1.7 -  cd ~/.isabelle/IsabelleXXXX/browser_info/Unsorted/Test/document
     1.8 +  cd "$(isabelle getenv -b ISABELLE_BROWSER_INFO)/Unsorted/Test/document"
     1.9    isabelle latex -o pdf
    1.10  \end{ttbox}
    1.11  *}
     2.1 --- a/src/Doc/Tutorial/Documents/Documents.thy	Mon Jan 06 17:33:23 2014 +0100
     2.2 +++ b/src/Doc/Tutorial/Documents/Documents.thy	Mon Jan 06 17:47:44 2014 +0100
     2.3 @@ -343,7 +343,8 @@
     2.4    session is derived from a single parent, usually an object-logic
     2.5    image like \texttt{HOL}.  This results in an overall tree structure,
     2.6    which is reflected by the output location in the file system
     2.7 -  (usually rooted at \verb,~/.isabelle/IsabelleXXXX/browser_info,).
     2.8 +  (the root directory is determined by the Isabelle settings variable
     2.9 +  \verb,ISABELLE_BROWSER_INFO,).
    2.10  
    2.11    \medskip The easiest way to manage Isabelle sessions is via
    2.12    \texttt{isabelle mkroot} (to generate an initial session source