lib/texinputs/isabelle.sty
changeset 67139 8fe0aba577af
parent 64525 9c3da2276e19
child 67146 909dcdec2122
     1.1 --- a/lib/texinputs/isabelle.sty	Tue Dec 05 15:29:37 2017 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Tue Dec 05 15:55:14 2017 +0100
     1.3 @@ -250,6 +250,7 @@
     1.4  \newcommand{\isafoldtag}[1]%
     1.5  {\includecomment{isadelim#1}\excludecomment{isatag#1}\csarg\def{isafold#1}{\isafold{#1}}}
     1.6  
     1.7 +\isakeeptag{document}
     1.8  \isakeeptag{theory}
     1.9  \isakeeptag{proof}
    1.10  \isakeeptag{ML}