src/Doc/System/Presentation.thy
changeset 51417 d266f9329368
parent 51054 d6de6e81574d
child 52744 49825ba687ce
     1.1 --- a/src/Doc/System/Presentation.thy	Wed Mar 13 15:08:38 2013 +0100
     1.2 +++ b/src/Doc/System/Presentation.thy	Wed Mar 13 15:12:14 2013 +0100
     1.3 @@ -57,9 +57,11 @@
     1.4    theory browsing information, including HTML documents that show the
     1.5    theory sources and the relationship with its ancestors and
     1.6    descendants.  Besides the HTML file that is generated for every
     1.7 -  theory, Isabelle stores links to all theories in an index
     1.8 -  file. These indexes are linked with other indexes to represent the
     1.9 -  overall tree structure of the sessions.
    1.10 +  theory, Isabelle stores links to all theories of a session in an
    1.11 +  index file.  As a second hierarchy, groups of sessions are organized
    1.12 +  as \emph{chapters}, with a separate index.  Note that the implicit
    1.13 +  tree structure of the session build hierarchy is \emph{not} relevant
    1.14 +  for the presentation.
    1.15  
    1.16    Isabelle also generates graph files that represent the theory
    1.17    dependencies within a session.  There is a graph browser Java applet
    1.18 @@ -80,7 +82,7 @@
    1.19  \end{ttbox}
    1.20  
    1.21    The presentation output will appear in @{verbatim
    1.22 -  "$ISABELLE_BROWSER_INFO/FOL"} as reported by the above verbose
    1.23 +  "$ISABELLE_BROWSER_INFO/FOL/FOL"} as reported by the above verbose
    1.24    invocation of the build process.
    1.25  
    1.26    Many Isabelle sessions (such as @{verbatim "HOL-Library"} in @{file
    1.27 @@ -99,11 +101,9 @@
    1.28    \bigskip The theory browsing information is stored in a
    1.29    sub-directory directory determined by the @{setting_ref
    1.30    ISABELLE_BROWSER_INFO} setting plus a prefix corresponding to the
    1.31 -  session identifier (according to the tree structure of sub-sessions
    1.32 -  by default).  In order to present Isabelle applications on the web,
    1.33 -  the corresponding subdirectory from @{setting ISABELLE_BROWSER_INFO}
    1.34 -  can be put on a WWW server.
    1.35 -*}
    1.36 +  session chapter and identifier.  In order to present Isabelle
    1.37 +  applications on the web, the corresponding subdirectory from
    1.38 +  @{setting ISABELLE_BROWSER_INFO} can be put on a WWW server.  *}
    1.39  
    1.40  section {* Preparing session root directories \label{sec:tool-mkroot} *}
    1.41  
    1.42 @@ -311,7 +311,7 @@
    1.43    inspect {\LaTeX} runs in further detail, e.g.\ like this:
    1.44  
    1.45  \begin{ttbox}
    1.46 -  cd ~/.isabelle/IsabelleXXXX/browser_info/HOL/Test/document
    1.47 +  cd ~/.isabelle/IsabelleXXXX/browser_info/Unsorted/Test/document
    1.48    isabelle latex -o pdf
    1.49  \end{ttbox}
    1.50  *}