discontinued default rendering for Oheimb's double-space;
authorwenzelm
Sat Jan 14 16:25:54 2012 +0100 (2012-01-14)
changeset 462130a5af667dc75
parent 46212 d86ef6b96097
child 46214 8534f949548e
discontinued default rendering for Oheimb's double-space;
etc/symbols
lib/texinputs/isabellesym.sty
     1.1 --- a/etc/symbols	Sat Jan 14 16:14:22 2012 +0100
     1.2 +++ b/etc/symbols	Sat Jan 14 16:25:54 2012 +0100
     1.3 @@ -351,7 +351,6 @@
     1.4  \<dieresis>             code: 0x0000a8
     1.5  \<cedilla>              code: 0x0000b8
     1.6  \<hungarumlaut>         code: 0x0002dd
     1.7 -\<spacespace>           code: 0x002423
     1.8  \<some>                 code: 0x0003f5
     1.9  \<^sub>                 code: 0x0021e9  abbrev: =_
    1.10  \<^sup>                 code: 0x0021e7  abbrev: =^
     2.1 --- a/lib/texinputs/isabellesym.sty	Sat Jan 14 16:14:22 2012 +0100
     2.2 +++ b/lib/texinputs/isabellesym.sty	Sat Jan 14 16:25:54 2012 +0100
     2.3 @@ -353,8 +353,7 @@
     2.4  \newcommand{\isasymdieresis}{\isatext{\"\relax}}
     2.5  \newcommand{\isasymcedilla}{\isatext{\c\relax}}
     2.6  \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
     2.7 -\newcommand{\isasymspacespace}{\isamath{~~}}
     2.8  \newcommand{\isasymmodule}{\isamath{\langle}\isakeyword{module}\isamath{\rangle}}
     2.9 -\newcommand{\isasymsome}{\isamath{\epsilon\,}}
    2.10  \newcommand{\isasymbind}{\isamath{\mathbin{>\!\!\!>\mkern-6.7mu=}}}
    2.11  \newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}}
    2.12 +\newcommand{\isasymsome}{\isamath{\epsilon\,}}