lib/texinputs/isabelle.sty
changeset 43327 c835416237b3
parent 43325 4384f4ae0574
child 43458 b55a273ede18
     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$}}