lib/texinputs/draft.tex
author wenzelm
Tue Sep 20 21:34:20 2005 +0200 (2005-09-20)
changeset 17530 25370ec2d44a
parent 16064 7953879aa6cf
child 28504 7ad7d7d6df47
permissions -rw-r--r--
tuned header;
wenzelm@14929
     1
%%
wenzelm@17530
     2
%% $Id$
wenzelm@14929
     3
%%
wenzelm@14929
     4
%% root for draft documents
wenzelm@14929
     5
%%
wenzelm@14929
     6
wenzelm@14929
     7
\documentclass[10pt,a4paper]{article}
wenzelm@14972
     8
\usepackage{isabelle,isabellesym,pdfsetup}
wenzelm@14970
     9
wenzelm@14972
    10
%packages for unusual symbols according to 'isatool latex -o syms'
wenzelm@14929
    11
\usepackage[latin1]{inputenc}
wenzelm@14970
    12
\usepackage{amssymb}
wenzelm@14970
    13
\usepackage{textcomp}
wenzelm@14970
    14
wenzelm@14929
    15
\pagestyle{myheadings}
wenzelm@14929
    16
\renewcommand{\isamarkupheader}[1]%
wenzelm@14936
    17
{{\def\isacharunderscore{\mbox{-}}%
wenzelm@14936
    18
\section*{#1}\markright{FILE~``\isabellecontext''}}}
wenzelm@14929
    19
wenzelm@14929
    20
\begin{document}
wenzelm@14929
    21
\input{session}
wenzelm@14929
    22
\end{document}
wenzelm@14929
    23
wenzelm@14936
    24
%%% Local Variables:
wenzelm@14936
    25
%%% mode: latex
wenzelm@14936
    26
%%% TeX-master: t
wenzelm@14936
    27
%%% End: