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