# HG changeset patch
# User wenzelm
# Date 1289165185 -3600
# Node ID db905e068a603bf7a31cdbdab79a3a7f36517f74
# Parent  a3acca2bddc9cc1134bc1918a642c81093bd2ea3
more literal appearance of antiqopen/antiqclose;

diff -r a3acca2bddc9 -r db905e068a60 doc-src/IsarImplementation/style.sty
--- a/doc-src/IsarImplementation/style.sty	Sun Nov 07 16:39:03 2010 +0100
+++ b/doc-src/IsarImplementation/style.sty	Sun Nov 07 22:26:25 2010 +0100
@@ -24,6 +24,9 @@
 
 \renewcommand{\isadigit}[1]{\isamath{#1}}
 
+\renewcommand{\isaantiqopen}{\isasymlbrace}
+\renewcommand{\isaantiqclose}{\isasymrbrace}
+
 \newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\smallskip\endgroup}
 
 \isafoldtag{FIXME}