author | wenzelm |
Sat, 12 Jun 2004 22:47:35 +0200 | |
changeset 14929 | 7f1ff621085e |
child 14936 | a13d5118f628 |
permissions | -rw-r--r-- |
%% %% Author: Makarius, Hagia Maria Sion Abbey (Jerusalem) %% License: GPL (GNU GENERAL PUBLIC LICENSE) %% %% root for draft documents %% \documentclass[10pt,a4paper]{article} \usepackage{isabelle,isabellesym} \usepackage[latin1]{inputenc} \usepackage{pdfsetup} \pagestyle{myheadings} \renewcommand{\isamarkupheader}[1]% {\section{#1}\markright{FILE~``\isabellecontext''}} \begin{document} \input{session} \end{document}