equal
deleted
inserted
replaced
93 \def\isabellestyle#1{\csname isabellestyle#1\endcsname} |
93 \def\isabellestyle#1{\csname isabellestyle#1\endcsname} |
94 |
94 |
95 \newcommand{\isabellestyleit}{% |
95 \newcommand{\isabellestyleit}{% |
96 \renewcommand{\isastyle}{\small\it}% |
96 \renewcommand{\isastyle}{\small\it}% |
97 \renewcommand{\isastyleminor}{\it}% |
97 \renewcommand{\isastyleminor}{\it}% |
98 \renewcommand{\isakeywordcharunderscore}{-}% |
98 \renewcommand{\isakeywordcharunderscore}{\mbox{-}}% |
99 %\renewcommand{\isadigit}[1]{\emph{$##1$}} |
|
100 \renewcommand{\isacharbang}{\emph{$!$}}% |
99 \renewcommand{\isacharbang}{\emph{$!$}}% |
101 \renewcommand{\isachardoublequote}{}% |
100 \renewcommand{\isachardoublequote}{}% |
102 \renewcommand{\isacharhash}{\emph{$\#$}}% |
101 \renewcommand{\isacharhash}{\emph{$\#$}}% |
103 \renewcommand{\isachardollar}{\emph{$\$$}}% |
102 \renewcommand{\isachardollar}{\emph{$\$$}}% |
104 \renewcommand{\isacharpercent}{\emph{$\%$}}% |
103 \renewcommand{\isacharpercent}{\emph{$\%$}}% |
115 \renewcommand{\isacharcolon}{\emph{$\mathord:$}}% |
114 \renewcommand{\isacharcolon}{\emph{$\mathord:$}}% |
116 \renewcommand{\isacharsemicolon}{\emph{$\mathord;$}}% |
115 \renewcommand{\isacharsemicolon}{\emph{$\mathord;$}}% |
117 \renewcommand{\isacharless}{\emph{$<$}}% |
116 \renewcommand{\isacharless}{\emph{$<$}}% |
118 \renewcommand{\isacharequal}{\emph{$=$}}% |
117 \renewcommand{\isacharequal}{\emph{$=$}}% |
119 \renewcommand{\isachargreater}{\emph{$>$}}% |
118 \renewcommand{\isachargreater}{\emph{$>$}}% |
120 %\renewcommand{\isacharquery}{\emph{$\mathord?$}}% |
|
121 \renewcommand{\isacharat}{\emph{$@$}}% |
119 \renewcommand{\isacharat}{\emph{$@$}}% |
122 \renewcommand{\isacharbrackleft}{\emph{$[$}}% |
120 \renewcommand{\isacharbrackleft}{\emph{$[$}}% |
123 \renewcommand{\isacharbrackright}{\emph{$]$}}% |
121 \renewcommand{\isacharbrackright}{\emph{$]$}}% |
124 \renewcommand{\isacharunderscore}{-}% |
122 \renewcommand{\isacharunderscore}{\mbox{-}}% |
125 \renewcommand{\isacharbraceleft}{\emph{$\{$}}% |
123 \renewcommand{\isacharbraceleft}{\emph{$\{$}}% |
126 \renewcommand{\isacharbar}{\emph{$\mid$}}% |
124 \renewcommand{\isacharbar}{\emph{$\mid$}}% |
127 \renewcommand{\isacharbraceright}{\emph{$\}$}}% |
125 \renewcommand{\isacharbraceright}{\emph{$\}$}}% |
128 } |
126 } |
129 |
127 |