1.1 --- a/doc-src/IsarRef/style.sty Thu May 08 22:48:33 2008 +0200
1.2 +++ b/doc-src/IsarRef/style.sty Thu May 08 22:49:05 2008 +0200
1.3 @@ -14,22 +14,16 @@
1.4 \newcommand{\figref}[1]{figure~\ref{#1}}
1.5 \newcommand{\Figref}[1]{Figure~\ref{#1}}
1.6
1.7 -%% index
1.8 -%FIXME
1.9 +%% math
1.10 +\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
1.11 +\renewcommand{\isadigit}[1]{\isamath{#1}}
1.12
1.13 -%% math
1.14 -\newcommand{\text}[1]{\mbox{#1}}
1.15 -\newcommand{\isasymvartheta}{\isamath{\theta}}
1.16 -\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
1.17
1.18 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
1.19
1.20 \pagestyle{headings}
1.21 \sloppy
1.22 -\binperiod
1.23 -\underscoreon
1.24
1.25 -\renewcommand{\isadigit}[1]{\isamath{#1}}
1.26
1.27 \newcommand{\minorcmd}[1]{{\sf #1}}
1.28
1.29 @@ -43,12 +37,9 @@
1.30 \newcommand{\isasymTHEOREM}{\isakeyword{theorem}}
1.31 \newcommand{\isasymDEFINITION}{\isakeyword{definition}}
1.32
1.33 +
1.34 \isabellestyle{it}
1.35 +\underscoreon
1.36 \renewcommand{\isacharunderscore}{\_}
1.37 \renewcommand{\isacharunderscorekeyword}{\_}
1.38 \newcommand{\isasymdash}{\mbox{-}}
1.39 -
1.40 -%%% Local Variables:
1.41 -%%% mode: latex
1.42 -%%% TeX-master: "implementation"
1.43 -%%% End: