src/Doc/System/Presentation.thy
changeset 67219 81e9804b2014
parent 67185 d5e51ba21561
child 67263 449a989f42cd
     1.1 --- a/src/Doc/System/Presentation.thy	Sat Dec 16 20:02:40 2017 +0100
     1.2 +++ b/src/Doc/System/Presentation.thy	Sat Dec 16 21:53:07 2017 +0100
     1.3 @@ -69,9 +69,9 @@
     1.4    The presentation output will appear in \<^verbatim>\<open>$ISABELLE_BROWSER_INFO/FOL/FOL\<close> as
     1.5    reported by the above verbose invocation of the build process.
     1.6  
     1.7 -  Many Isabelle sessions (such as \<^verbatim>\<open>HOL-Library\<close> in \<^dir>\<open>~~/src/HOL/Library\<close>)
     1.8 -  also provide printable documents in PDF. These are prepared automatically as
     1.9 -  well if enabled like this:
    1.10 +  Many Isabelle sessions (such as \<^session>\<open>HOL-Library\<close> in
    1.11 +  \<^dir>\<open>~~/src/HOL/Library\<close>) also provide printable documents in PDF. These are
    1.12 +  prepared automatically as well if enabled like this:
    1.13    @{verbatim [display] \<open>isabelle build -o browser_info -o document=pdf -v -c HOL-Library\<close>}
    1.14  
    1.15    Enabling both browser info and document preparation simultaneously causes an