lib/texinputs/isabelle.sty
changeset 67151 d1ace598c026
parent 67146 909dcdec2122
child 67374 5a049cf98438
     1.1 --- a/lib/texinputs/isabelle.sty	Wed Dec 06 15:46:35 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}}{}