avoid extra space intruding rail diagrams (amending 4854f7ee0987);
authorwenzelm
Fri Nov 25 14:10:33 2016 +0100 (2016-11-25)
changeset 645259c3da2276e19
parent 64524 e6a3c55b929b
child 64526 01920e390645
avoid extra space intruding rail diagrams (amending 4854f7ee0987);
lib/texinputs/isabelle.sty
     1.1 --- a/lib/texinputs/isabelle.sty	Thu Nov 24 15:21:54 2016 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Fri Nov 25 14:10:33 2016 +0100
     1.3 @@ -73,7 +73,7 @@
     1.4  \newcommand{\isadigit}[1]{#1}
     1.5  
     1.6  \newcommand{\isachardefaults}{%
     1.7 -\def\isacharbell{\isamath{\bigbox}}  %requires stmaryrd
     1.8 +\def\isacharbell{\isamath{\bigbox}}%requires stmaryrd
     1.9  \chardef\isacharbang=`\!%
    1.10  \chardef\isachardoublequote=`\"%
    1.11  \chardef\isachardoublequoteopen=`\"%