# HG changeset patch
# User wenzelm
# Date 1480079433 -3600
# Node ID 9c3da2276e19da023bfd6ad3b7ca0097a6fe07cc
# Parent  e6a3c55b929bf7447c14dc7ec9276dbf11a4d8f2
avoid extra space intruding rail diagrams (amending 4854f7ee0987);

diff -r e6a3c55b929b -r 9c3da2276e19 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Thu Nov 24 15:21:54 2016 +0100
+++ b/lib/texinputs/isabelle.sty	Fri Nov 25 14:10:33 2016 +0100
@@ -73,7 +73,7 @@
 \newcommand{\isadigit}[1]{#1}
 
 \newcommand{\isachardefaults}{%
-\def\isacharbell{\isamath{\bigbox}}  %requires stmaryrd
+\def\isacharbell{\isamath{\bigbox}}%requires stmaryrd
 \chardef\isacharbang=`\!%
 \chardef\isachardoublequote=`\"%
 \chardef\isachardoublequoteopen=`\"%