equal
deleted
inserted
replaced
105 |
105 |
106 \isakeeptag{small} |
106 \isakeeptag{small} |
107 \renewcommand{\isatagsmall}{\begingroup\small} |
107 \renewcommand{\isatagsmall}{\begingroup\small} |
108 \renewcommand{\endisatagsmall}{\endgroup} |
108 \renewcommand{\endisatagsmall}{\endgroup} |
109 |
109 |
|
110 % for code that should not be printed |
|
111 \isakeeptag{no} |
|
112 \renewcommand{\isatagno}{} |
|
113 \renewcommand{\endisatagno}{} |
|
114 |
110 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
115 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
111 \renewenvironment{isabelle} |
116 \renewenvironment{isabelle} |
112 {\begin{trivlist}\begin{isabellebody}\small\item\relax} |
117 {\begin{trivlist}\begin{isabellebody}\small\item\relax} |
113 {\end{isabellebody}\end{trivlist}} |
118 {\end{isabellebody}\end{trivlist}} |
114 |
119 |