isabelle: lib/texinputs/draft.tex@5fefe658a6f8 (annotated)

14929 7f1ff621085e root for draft documents; wenzelm parents: diff changeset	1	%%
7f1ff621085e root for draft documents; wenzelm parents: diff changeset	2	%% Author: Makarius, Hagia Maria Sion Abbey (Jerusalem)
7f1ff621085e root for draft documents; wenzelm parents: diff changeset	3	%%
7f1ff621085e root for draft documents; wenzelm parents: diff changeset	4	%% root for draft documents
7f1ff621085e root for draft documents; wenzelm parents: diff changeset	5	%%
7f1ff621085e root for draft documents; wenzelm parents: diff changeset	6
16064 7953879aa6cf ML_idf antiquotation haftmann parents: 15010 diff changeset	7
14929 7f1ff621085e root for draft documents; wenzelm parents: diff changeset	8	\documentclass[10pt,a4paper]{article}
14972 51f95648abad tuned; wenzelm parents: 14970 diff changeset	9	\usepackage{isabelle,isabellesym,pdfsetup}
14970 8159ade98144 more generous treatment of packages in draft prints; wenzelm parents: 14966 diff changeset	10
14972 51f95648abad tuned; wenzelm parents: 14970 diff changeset	11	%packages for unusual symbols according to 'isatool latex -o syms'
14929 7f1ff621085e root for draft documents; wenzelm parents: diff changeset	12	\usepackage[latin1]{inputenc}
14970 8159ade98144 more generous treatment of packages in draft prints; wenzelm parents: 14966 diff changeset	13	\usepackage{amssymb}
8159ade98144 more generous treatment of packages in draft prints; wenzelm parents: 14966 diff changeset	14	\usepackage{textcomp}
8159ade98144 more generous treatment of packages in draft prints; wenzelm parents: 14966 diff changeset	15
14929 7f1ff621085e root for draft documents; wenzelm parents: diff changeset	16	\pagestyle{myheadings}
7f1ff621085e root for draft documents; wenzelm parents: diff changeset	17	\renewcommand{\isamarkupheader}[1]%
14936 a13d5118f628 tuned; wenzelm parents: 14929 diff changeset	18	{{\def\isacharunderscore{\mbox{-}}%
a13d5118f628 tuned; wenzelm parents: 14929 diff changeset	19	\section*{#1}\markright{FILE~``\isabellecontext''}}}
14929 7f1ff621085e root for draft documents; wenzelm parents: diff changeset	20
7f1ff621085e root for draft documents; wenzelm parents: diff changeset	21	\begin{document}
7f1ff621085e root for draft documents; wenzelm parents: diff changeset	22	\input{session}
7f1ff621085e root for draft documents; wenzelm parents: diff changeset	23	\end{document}
7f1ff621085e root for draft documents; wenzelm parents: diff changeset	24
14936 a13d5118f628 tuned; wenzelm parents: 14929 diff changeset	25	%%% Local Variables:
a13d5118f628 tuned; wenzelm parents: 14929 diff changeset	26	%%% mode: latex
a13d5118f628 tuned; wenzelm parents: 14929 diff changeset	27	%%% TeX-master: t
a13d5118f628 tuned; wenzelm parents: 14929 diff changeset	28	%%% End:

author	wenzelm
	Mon, 29 Aug 2005 10:28:17 +0200
changeset 17180	5fefe658a6f8
parent 16064	7953879aa6cf
child 17530	25370ec2d44a
permissions	-rw-r--r--