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