| changeset 20451 | 27ea2ba48fa3 |
| parent 20448 | 8aa6ff178f36 |
| child 20470 | c839b38a1f32 |
--- a/doc-src/IsarImplementation/style.sty Thu Aug 31 18:27:40 2006 +0200 +++ b/doc-src/IsarImplementation/style.sty Thu Aug 31 22:55:49 2006 +0200 @@ -38,6 +38,8 @@ \binperiod \underscoreon +\renewcommand{\isadigit}[1]{\isamath{#1}} + \newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\medskip\endgroup} \isafoldtag{FIXME}