equal
deleted
inserted
replaced
96 \newcommand{\isabellestyle}{} |
96 \newcommand{\isabellestyle}{} |
97 \def\isabellestyle#1{\csname isabellestyle#1\endcsname} |
97 \def\isabellestyle#1{\csname isabellestyle#1\endcsname} |
98 |
98 |
99 \newcommand{\isabellestylett}{% |
99 \newcommand{\isabellestylett}{% |
100 \renewcommand{\isastyle}{\small\tt}% |
100 \renewcommand{\isastyle}{\small\tt}% |
101 \renewcommand{\isastyleminor}{\tt}% |
101 \renewcommand{\isastyleminor}{\small\tt}% |
102 } |
102 } |
103 \newcommand{\isabellestyleit}{% |
103 \newcommand{\isabellestyleit}{% |
104 \renewcommand{\isastyle}{\small\it}% |
104 \renewcommand{\isastyle}{\small\it}% |
105 \renewcommand{\isastyleminor}{\it}% |
105 \renewcommand{\isastyleminor}{\it}% |
106 \renewcommand{\isakeywordcharunderscore}{\mbox{-}}% |
106 \renewcommand{\isakeywordcharunderscore}{\mbox{-}}% |