# HG changeset patch
# User wenzelm
# Date 1307635122 -7200
# Node ID c835416237b392a80e87f8babdef09fe302c3ae6
# Parent  47cf4bc789aa9a2464d5b235cafc99ec6f0af0d1
even more robust \isaspacing;

diff -r 47cf4bc789aa -r c835416237b3 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Thu Jun 09 17:51:49 2011 +0200
+++ b/lib/texinputs/isabelle.sty	Thu Jun 09 17:58:42 2011 +0200
@@ -15,8 +15,14 @@
 \newcommand{\isastyletxt}{\rm}
 \newcommand{\isastylecmt}{\rm}
 
-\newcommand{\isaspacing}{\sfcode`\.1000 \sfcode 63 1000 \sfcode`\!1000
-  \sfcode`\:1000 \sfcode`\;1000 \sfcode`\,1000}
+\newcommand{\isaspacing}{%
+  \sfcode 42 1000 % .
+  \sfcode 63 1000 % ?
+  \sfcode 33 1000 % !
+  \sfcode 58 1000 % :
+  \sfcode 59 1000 % ;
+  \sfcode 44 1000 % ,
+}
 
 %symbol markup -- \emph achieves decent spacing via italic corrections
 \newcommand{\isamath}[1]{\emph{$#1$}}