# HG changeset patch
# User wenzelm
# Date 1157038428 -7200
# Node ID 8aa6ff178f367b6e986eb21f25f52fd225cfd865
# Parent  5b75f1c4d7d6e5b0d9c979e318282932c2e30a1a
mldecls: footnotesize;

diff -r 5b75f1c4d7d6 -r 8aa6ff178f36 doc-src/IsarImplementation/style.sty
--- 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}