| changeset 20448 | 8aa6ff178f36 |
| parent 20024 | 553d48cac687 |
| child 20451 | 27ea2ba48fa3 |
--- a/doc-src/IsarImplementation/style.sty Thu Aug 31 14:53:55 2006 +0200 +++ b/doc-src/IsarImplementation/style.sty Thu Aug 31 17:33:48 2006 +0200 @@ -38,7 +38,7 @@ \binperiod \underscoreon -\newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\medskip\endgroup} +\newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\medskip\endgroup} \isafoldtag{FIXME} \isakeeptag{mlref}