author | wenzelm |
Sat, 20 Dec 2008 11:55:34 +0100 | |
changeset 29145 | b1c6f4563df7 |
parent 28504 | 7ad7d7d6df47 |
child 41179 | 7d88ebdce380 |
permissions | -rw-r--r-- |
1 %%
2 %% root for draft documents
3 %%
5 \documentclass[10pt,a4paper]{article}
6 \usepackage{isabelle,isabellesym,pdfsetup}
8 %packages for unusual symbols according to 'isabelle latex -o syms'
9 \usepackage[latin1]{inputenc}
10 \usepackage{amssymb}
11 \usepackage{textcomp}
13 \pagestyle{myheadings}
14 \renewcommand{\isamarkupheader}[1]%
15 {{\def\isacharunderscore{\mbox{-}}%
16 \section*{#1}\markright{FILE~``\isabellecontext''}}}
18 \begin{document}
19 \input{session}
20 \end{document}
22 %%% Local Variables:
23 %%% mode: latex
24 %%% TeX-master: t
25 %%% End: