more literal appearance of antiqopen/antiqclose;
authorwenzelm
Sun Nov 07 22:26:25 2010 +0100 (2010-11-07)
changeset 40400db905e068a60
parent 40399 a3acca2bddc9
child 40401 25ba6b2559e1
more literal appearance of antiqopen/antiqclose;
doc-src/IsarImplementation/style.sty
     1.1 --- a/doc-src/IsarImplementation/style.sty	Sun Nov 07 16:39:03 2010 +0100
     1.2 +++ b/doc-src/IsarImplementation/style.sty	Sun Nov 07 22:26:25 2010 +0100
     1.3 @@ -24,6 +24,9 @@
     1.4  
     1.5  \renewcommand{\isadigit}[1]{\isamath{#1}}
     1.6  
     1.7 +\renewcommand{\isaantiqopen}{\isasymlbrace}
     1.8 +\renewcommand{\isaantiqclose}{\isasymrbrace}
     1.9 +
    1.10  \newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\smallskip\endgroup}
    1.11  
    1.12  \isafoldtag{FIXME}