equal
deleted
inserted
replaced
10 \usepackage{ot1patch} |
10 \usepackage{ot1patch} |
11 \usepackage{times} |
11 \usepackage{times} |
12 |
12 |
13 \urlstyle{rm} |
13 \urlstyle{rm} |
14 \isabellestyle{it} |
14 \isabellestyle{it} |
|
15 \renewcommand{\isastyleminor}{\it}% |
|
16 \renewcommand{\isastyle}{\normalsize\it}% |
15 |
17 |
16 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}} |
18 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}} |
17 \DeclareRobustCommand{\frqq}{\mbox{\guillemotright}} |
19 \DeclareRobustCommand{\frqq}{\mbox{\guillemotright}} |
18 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
20 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
19 \renewcommand{\isasymbullet}{{\raisebox{-0.4mm}{\Large$\boldsymbol{\cdot}$}}} |
21 \renewcommand{\isasymbullet}{{\raisebox{-0.4mm}{\Large$\boldsymbol{\cdot}$}}} |