isabelle: lib/texinputs/isabelle.sty@ea36d70ff7d3 (annotated)

7709 545637744a85 macros for Isabelle generated LaTeX output; wenzelm parents: diff changeset	1	%%
545637744a85 macros for Isabelle generated LaTeX output; wenzelm parents: diff changeset	2	%% $Id$
545637744a85 macros for Isabelle generated LaTeX output; wenzelm parents: diff changeset	3	%%
545637744a85 macros for Isabelle generated LaTeX output; wenzelm parents: diff changeset	4	%% macros for Isabelle generated LaTeX output
545637744a85 macros for Isabelle generated LaTeX output; wenzelm parents: diff changeset	5	%%
545637744a85 macros for Isabelle generated LaTeX output; wenzelm parents: diff changeset	6
545637744a85 macros for Isabelle generated LaTeX output; wenzelm parents: diff changeset	7	%%% Simple document preparation (based on theory token language)
545637744a85 macros for Isabelle generated LaTeX output; wenzelm parents: diff changeset	8
8714 61cafd91963c \newenvironment{isabellequote}; wenzelm parents: 8713 diff changeset	9	% isabelle environments
7788 825b8b1ad136 removed verbatim markups; wenzelm parents: 7771 diff changeset	10
8822 ea36d70ff7d3 removed \isabelledefaultstyle (use \isabellestyle instead); wenzelm parents: 8714 diff changeset	11	\newcommand{\isabellestyle}{\small\tt\slshape}
8713 05688a1a4f41 global \isa@parindent, \isa@parskip; wenzelm parents: 8662 diff changeset	12
05688a1a4f41 global \isa@parindent, \isa@parskip; wenzelm parents: 8662 diff changeset	13	\newdimen\isa@parindent\newdimen\isa@parskip
8474 ae32be343647 renamed isabelle env; wenzelm parents: 8232 diff changeset	14	\newenvironment{isabelle}{%
8713 05688a1a4f41 global \isa@parindent, \isa@parskip; wenzelm parents: 8662 diff changeset	15	\isa@parindent\parindent\parindent0pt%
05688a1a4f41 global \isa@parindent, \isa@parskip; wenzelm parents: 8662 diff changeset	16	\isa@parskip\parskip\parskip0pt%
8822 ea36d70ff7d3 removed \isabelledefaultstyle (use \isabellestyle instead); wenzelm parents: 8714 diff changeset	17	\isabellestyle}{}
8713 05688a1a4f41 global \isa@parindent, \isa@parskip; wenzelm parents: 8662 diff changeset	18
8822 ea36d70ff7d3 removed \isabelledefaultstyle (use \isabellestyle instead); wenzelm parents: 8714 diff changeset	19	\newcommand{\isa}[1]{\emph{\isabellestyle #1}}
8713 05688a1a4f41 global \isa@parindent, \isa@parskip; wenzelm parents: 8662 diff changeset	20
8714 61cafd91963c \newenvironment{isabellequote}; wenzelm parents: 8713 diff changeset	21	\newenvironment{isabellequote}%
61cafd91963c \newenvironment{isabellequote}; wenzelm parents: 8713 diff changeset	22	{\begin{quote}\begin{isabelle}\noindent}{\end{isabelle}\end{quote}}
61cafd91963c \newenvironment{isabellequote}; wenzelm parents: 8713 diff changeset	23
7709 545637744a85 macros for Isabelle generated LaTeX output; wenzelm parents: diff changeset	24	\newcommand{\isanewline}{\mbox{}\\\mbox{}}
7752 7ee322caf59c accomodate markup commands; wenzelm parents: 7709 diff changeset	25
7797 38a46d9ea08a improved special chars; wenzelm parents: 7788 diff changeset	26	\chardef\isabraceleft=`\{
38a46d9ea08a improved special chars; wenzelm parents: 7788 diff changeset	27	\chardef\isabraceright=`\}
38a46d9ea08a improved special chars; wenzelm parents: 7788 diff changeset	28	\chardef\isatilde=`\~
38a46d9ea08a improved special chars; wenzelm parents: 7788 diff changeset	29	\chardef\isacircum=`\^
38a46d9ea08a improved special chars; wenzelm parents: 7788 diff changeset	30	\chardef\isabackslash=`\\
7788 825b8b1ad136 removed verbatim markups; wenzelm parents: 7771 diff changeset	31
7797 38a46d9ea08a improved special chars; wenzelm parents: 7788 diff changeset	32
38a46d9ea08a improved special chars; wenzelm parents: 7788 diff changeset	33	% keyword and section markup
7788 825b8b1ad136 removed verbatim markups; wenzelm parents: 7771 diff changeset	34
7918 2979b3b75dbd achieve proper italic correction; wenzelm parents: 7907 diff changeset	35	\newcommand{\isacommand}[1]{\emph{\bf #1}}
2979b3b75dbd achieve proper italic correction; wenzelm parents: 7907 diff changeset	36	\newcommand{\isakeyword}[1]{\emph{\bf #1}}
7797 38a46d9ea08a improved special chars; wenzelm parents: 7788 diff changeset	37	\newcommand{\isabeginblock}{\isakeyword{\{}}
38a46d9ea08a improved special chars; wenzelm parents: 7788 diff changeset	38	\newcommand{\isaendblock}{\isakeyword{\}}}
7758 d36c19045493 tuned markup commands; wenzelm parents: 7752 diff changeset	39
8501 2ff3d25943f1 \isamarkupheader: \section; wenzelm parents: 8489 diff changeset	40	\newcommand{\isamarkupheader}[1]{\section{#1}}
7752 7ee322caf59c accomodate markup commands; wenzelm parents: 7709 diff changeset	41	\newcommand{\isamarkupchapter}[1]{\chapter{#1}}
7ee322caf59c accomodate markup commands; wenzelm parents: 7709 diff changeset	42	\newcommand{\isamarkupsection}[1]{\section{#1}}
7ee322caf59c accomodate markup commands; wenzelm parents: 7709 diff changeset	43	\newcommand{\isamarkupsubsection}[1]{\subsection{#1}}
7ee322caf59c accomodate markup commands; wenzelm parents: 7709 diff changeset	44	\newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
7ee322caf59c accomodate markup commands; wenzelm parents: 7709 diff changeset	45	\newcommand{\isamarkupsect}[1]{\section{#1}}
7ee322caf59c accomodate markup commands; wenzelm parents: 7709 diff changeset	46	\newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
7ee322caf59c accomodate markup commands; wenzelm parents: 7709 diff changeset	47	\newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
8662 f9679ddbc492 isapar, isamarkuptext, isamarkuptxt turned into environments; wenzelm parents: 8512 diff changeset	48
8713 05688a1a4f41 global \isa@parindent, \isa@parskip; wenzelm parents: 8662 diff changeset	49	\newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\par\medskip}{\par\smallskip}
8662 f9679ddbc492 isapar, isamarkuptext, isamarkuptxt turned into environments; wenzelm parents: 8512 diff changeset	50	\newenvironment{isamarkuptext}{\normalsize\rm\begin{isapar}}{\end{isapar}}
f9679ddbc492 isapar, isamarkuptext, isamarkuptxt turned into environments; wenzelm parents: 8512 diff changeset	51	\newenvironment{isamarkuptxt}{\rm\begin{isapar}}{\end{isapar}}
7758 d36c19045493 tuned markup commands; wenzelm parents: 7752 diff changeset	52	\newcommand{\isamarkupcmt}[1]{{\rm--- #1}}

author	wenzelm
	Mon, 08 May 2000 10:51:07 +0200
changeset 8822	ea36d70ff7d3
parent 8714	61cafd91963c
child 9657	0a187a43ef21
permissions	-rw-r--r--