1.1 --- a/doc-src/IsarRef/style.sty Fri May 09 23:19:20 2008 +0200
1.2 +++ b/doc-src/IsarRef/style.sty Fri May 09 23:19:49 2008 +0200
1.3 @@ -5,6 +5,8 @@
1.4 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
1.5 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
1.6
1.7 +\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
1.8 +
1.9 %% references
1.10 \newcommand{\secref}[1]{\S\ref{#1}}
1.11 \newcommand{\chref}[1]{chapter~\ref{#1}}
1.12 @@ -19,25 +21,10 @@
1.13 \renewcommand{\isadigit}[1]{\isamath{#1}}
1.14
1.15
1.16 -\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
1.17 -
1.18 +%% global style options
1.19 \pagestyle{headings}
1.20 \sloppy
1.21
1.22 -
1.23 -\newcommand{\minorcmd}[1]{{\sf #1}}
1.24 -
1.25 -\newcommand{\isasymGUESS}{\isakeyword{guess}}
1.26 -\newcommand{\isasymOBTAIN}{\isakeyword{obtain}}
1.27 -\newcommand{\isasymTHEORY}{\isakeyword{theory}}
1.28 -\newcommand{\isasymUSES}{\isakeyword{uses}}
1.29 -\newcommand{\isasymEND}{\isakeyword{end}}
1.30 -\newcommand{\isasymCONSTS}{\isakeyword{consts}}
1.31 -\newcommand{\isasymDEFS}{\isakeyword{defs}}
1.32 -\newcommand{\isasymTHEOREM}{\isakeyword{theorem}}
1.33 -\newcommand{\isasymDEFINITION}{\isakeyword{definition}}
1.34 -
1.35 -
1.36 \isabellestyle{it}
1.37 \underscoreon
1.38 \renewcommand{\isacharunderscore}{\_}