lib/texinputs/draft.tex
author aspinall
Fri, 18 Jun 2004 00:32:54 +0200
changeset 14966 53e6823b0971
parent 14936 a13d5118f628
child 14970 8159ade98144
permissions -rw-r--r--
Add \usepackage{latexsym}
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
%% License: GPL (GNU GENERAL PUBLIC LICENSE)
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
     4
%%
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
     5
%% root for draft documents
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
     6
%%
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
     7
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
     8
\documentclass[10pt,a4paper]{article}
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
     9
\usepackage{isabelle,isabellesym}
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    10
\usepackage[latin1]{inputenc}
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    11
\usepackage{pdfsetup}
14966
53e6823b0971 Add \usepackage{latexsym}
aspinall
parents: 14936
diff changeset
    12
\usepackage{latexsym}
14929
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    13
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    14
\pagestyle{myheadings}
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    15
\renewcommand{\isamarkupheader}[1]%
14936
wenzelm
parents: 14929
diff changeset
    16
{{\def\isacharunderscore{\mbox{-}}%
wenzelm
parents: 14929
diff changeset
    17
\section*{#1}\markright{FILE~``\isabellecontext''}}}
14929
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    18
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    19
\begin{document}
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    20
\input{session}
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    21
\end{document}
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    22
14936
wenzelm
parents: 14929
diff changeset
    23
%%% Local Variables:
wenzelm
parents: 14929
diff changeset
    24
%%% mode: latex
wenzelm
parents: 14929
diff changeset
    25
%%% TeX-master: t
wenzelm
parents: 14929
diff changeset
    26
%%% End: