equal
deleted
inserted
replaced
|
1 %% |
|
2 %% Author: Makarius, Hagia Maria Sion Abbey (Jerusalem) |
|
3 %% License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
4 %% |
|
5 %% root for draft documents |
|
6 %% |
|
7 |
|
8 \documentclass[10pt,a4paper]{article} |
|
9 \usepackage{isabelle,isabellesym} |
|
10 \usepackage[latin1]{inputenc} |
|
11 \usepackage{pdfsetup} |
|
12 |
|
13 \pagestyle{myheadings} |
|
14 \renewcommand{\isamarkupheader}[1]% |
|
15 {\section{#1}\markright{FILE~``\isabellecontext''}} |
|
16 |
|
17 \begin{document} |
|
18 \input{session} |
|
19 \end{document} |
|
20 |