more default tags;
authorwenzelm
Wed Dec 06 21:30:26 2017 +0100 (6 weeks ago)
changeset 67151d1ace598c026
parent 67150 ecbd8ff928c5
child 67152 8021ea06aad8
more default tags;
lib/texinputs/isabelle.sty
src/Doc/System/Presentation.thy
     1.1 --- a/lib/texinputs/isabelle.sty	Wed Dec 06 21:01:01 2017 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Wed Dec 06 21:30:26 2017 +0100
     1.3 @@ -259,5 +259,7 @@
     1.4  \isakeeptag{ML}
     1.5  \isakeeptag{visible}
     1.6  \isadroptag{invisible}
     1.7 +\isakeeptag{important}
     1.8 +\isakeeptag{unimportant}
     1.9  
    1.10  \IfFileExists{isabelletags.sty}{\usepackage{isabelletags}}{}
     2.1 --- a/src/Doc/System/Presentation.thy	Wed Dec 06 21:01:01 2017 +0100
     2.2 +++ b/src/Doc/System/Presentation.thy	Wed Dec 06 21:30:26 2017 +0100
     2.3 @@ -182,9 +182,9 @@
     2.4    pairs: ``\<^verbatim>\<open>+\<close>\<open>foo\<close>'' (or just ``\<open>foo\<close>'') means to keep, ``\<^verbatim>\<open>-\<close>\<open>foo\<close>'' to
     2.5    drop, and ``\<^verbatim>\<open>/\<close>\<open>foo\<close>'' to fold text tagged as \<open>foo\<close>. The builtin default is
     2.6    equivalent to the tag specification
     2.7 -  ``\<^verbatim>\<open>+document,+theory,+proof,+ML,+visible,-invisible\<close>''; see also the {\LaTeX} macros
     2.8 -  \<^verbatim>\<open>\isakeeptag\<close>, \<^verbatim>\<open>\isadroptag\<close>, and \<^verbatim>\<open>\isafoldtag\<close>, in
     2.9 -  \<^file>\<open>~~/lib/texinputs/isabelle.sty\<close>.
    2.10 +  ``\<^verbatim>\<open>+document,+theory,+proof,+ML,+visible,-invisible,+important,+unimportant\<close>'';
    2.11 +  see also the {\LaTeX} macros \<^verbatim>\<open>\isakeeptag\<close>, \<^verbatim>\<open>\isadroptag\<close>, and
    2.12 +  \<^verbatim>\<open>\isafoldtag\<close>, in \<^file>\<open>~~/lib/texinputs/isabelle.sty\<close>.
    2.13  
    2.14    \<^medskip>
    2.15    Document preparation requires a \<^verbatim>\<open>document\<close> directory within the session