even more robust \isaspacing;
authorwenzelm
Thu Jun 09 17:58:42 2011 +0200 (2011-06-09)
changeset 43327c835416237b3
parent 43326 47cf4bc789aa
child 43328 10d731b06ed7
even more robust \isaspacing;
lib/texinputs/isabelle.sty
     1.1 --- a/lib/texinputs/isabelle.sty	Thu Jun 09 17:51:49 2011 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Thu Jun 09 17:58:42 2011 +0200
     1.3 @@ -15,8 +15,14 @@
     1.4  \newcommand{\isastyletxt}{\rm}
     1.5  \newcommand{\isastylecmt}{\rm}
     1.6  
     1.7 -\newcommand{\isaspacing}{\sfcode`\.1000 \sfcode 63 1000 \sfcode`\!1000
     1.8 -  \sfcode`\:1000 \sfcode`\;1000 \sfcode`\,1000}
     1.9 +\newcommand{\isaspacing}{%
    1.10 +  \sfcode 42 1000 % .
    1.11 +  \sfcode 63 1000 % ?
    1.12 +  \sfcode 33 1000 % !
    1.13 +  \sfcode 58 1000 % :
    1.14 +  \sfcode 59 1000 % ;
    1.15 +  \sfcode 44 1000 % ,
    1.16 +}
    1.17  
    1.18  %symbol markup -- \emph achieves decent spacing via italic corrections
    1.19  \newcommand{\isamath}[1]{\emph{$#1$}}