src/Doc/System/Presentation.thy
changeset 67139 8fe0aba577af
parent 67069 f11486d31586
child 67151 d1ace598c026
     1.1 --- a/src/Doc/System/Presentation.thy	Tue Dec 05 15:29:37 2017 +0100
     1.2 +++ b/src/Doc/System/Presentation.thy	Tue Dec 05 15:55:14 2017 +0100
     1.3 @@ -182,7 +182,7 @@
     1.4    pairs: ``\<^verbatim>\<open>+\<close>\<open>foo\<close>'' (or just ``\<open>foo\<close>'') means to keep, ``\<^verbatim>\<open>-\<close>\<open>foo\<close>'' to
     1.5    drop, and ``\<^verbatim>\<open>/\<close>\<open>foo\<close>'' to fold text tagged as \<open>foo\<close>. The builtin default is
     1.6    equivalent to the tag specification
     1.7 -  ``\<^verbatim>\<open>+theory,+proof,+ML,+visible,-invisible\<close>''; see also the {\LaTeX} macros
     1.8 +  ``\<^verbatim>\<open>+document,+theory,+proof,+ML,+visible,-invisible\<close>''; see also the {\LaTeX} macros
     1.9    \<^verbatim>\<open>\isakeeptag\<close>, \<^verbatim>\<open>\isadroptag\<close>, and \<^verbatim>\<open>\isafoldtag\<close>, in
    1.10    \<^file>\<open>~~/lib/texinputs/isabelle.sty\<close>.
    1.11