isabelle: doc-src/IsarRef/style.sty@4ce896a30f88 (annotated)

26738 615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	1
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	2	%% $Id$
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	3
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	4	%% toc
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	5	\newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	6	\@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	7
26865 a3afbb414b69 removed obsolete macros for Isar commands etc.; wenzelm parents: 26859 diff changeset	8	\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
a3afbb414b69 removed obsolete macros for Isar commands etc.; wenzelm parents: 26859 diff changeset	9
26738 615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	10	%% references
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	11	\newcommand{\secref}[1]{\S\ref{#1}}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	12	\newcommand{\chref}[1]{chapter~\ref{#1}}
26759 4f066dfc58d1 more ref macros; wenzelm parents: 26738 diff changeset	13	\newcommand{\Chref}[1]{Chapter~\ref{#1}}
4f066dfc58d1 more ref macros; wenzelm parents: 26738 diff changeset	14	\newcommand{\appref}[1]{appendix~\ref{#1}}
4f066dfc58d1 more ref macros; wenzelm parents: 26738 diff changeset	15	\newcommand{\Appref}[1]{Appendix~\ref{#1}}
26738 615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	16	\newcommand{\figref}[1]{figure~\ref{#1}}
26759 4f066dfc58d1 more ref macros; wenzelm parents: 26738 diff changeset	17	\newcommand{\Figref}[1]{Figure~\ref{#1}}
26738 615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	18
28758 4ce896a30f88 added bind_thm, bind_thms; wenzelm parents: 26865 diff changeset	19	%% index
4ce896a30f88 added bind_thm, bind_thms; wenzelm parents: 26865 diff changeset	20	\newcommand{\indexml}[1]{\index{\emph{#1}\|bold}}
4ce896a30f88 added bind_thm, bind_thms; wenzelm parents: 26865 diff changeset	21	\newcommand{\indexmlexception}[1]{\index{\emph{#1} (exception)\|bold}}
4ce896a30f88 added bind_thm, bind_thms; wenzelm parents: 26865 diff changeset	22	\newcommand{\indexmltype}[1]{\index{\emph{#1} (type)\|bold}}
4ce896a30f88 added bind_thm, bind_thms; wenzelm parents: 26865 diff changeset	23	\newcommand{\indexmlstructure}[1]{\index{\emph{#1} (structure)\|bold}}
4ce896a30f88 added bind_thm, bind_thms; wenzelm parents: 26865 diff changeset	24	\newcommand{\indexmlfunctor}[1]{\index{\emph{#1} (functor)\|bold}}
4ce896a30f88 added bind_thm, bind_thms; wenzelm parents: 26865 diff changeset	25
26859 b9ab6246765e removed obsolete macros; wenzelm parents: 26778 diff changeset	26	%% math
b9ab6246765e removed obsolete macros; wenzelm parents: 26778 diff changeset	27	\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
b9ab6246765e removed obsolete macros; wenzelm parents: 26778 diff changeset	28	\renewcommand{\isadigit}[1]{\isamath{#1}}
26738 615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	29
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	30
26865 a3afbb414b69 removed obsolete macros for Isar commands etc.; wenzelm parents: 26859 diff changeset	31	%% global style options
26738 615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	32	\pagestyle{headings}
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	33	\sloppy
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	34
615e1a86787b basic setup for generated document (cf. ../IsarImplementation); wenzelm parents: diff changeset	35	\isabellestyle{it}
26859 b9ab6246765e removed obsolete macros; wenzelm parents: 26778 diff changeset	36	\underscoreon
26775 06d6b1242dcf use underscore for underscore; wenzelm parents: 26767 diff changeset	37	\renewcommand{\isacharunderscore}{\_}
06d6b1242dcf use underscore for underscore; wenzelm parents: 26767 diff changeset	38	\renewcommand{\isacharunderscorekeyword}{\_}
26778 378bdbce68e6 added \isasymdash; wenzelm parents: 26775 diff changeset	39	\newcommand{\isasymdash}{\mbox{-}}

author	wenzelm
	Thu, 13 Nov 2008 21:40:30 +0100
changeset 28758	4ce896a30f88
parent 26865	a3afbb414b69
child 28760	cbc435f7b16b
permissions	-rw-r--r--