author | wenzelm |
Sat, 12 Jun 2004 22:47:35 +0200 | |
changeset 14929 | 7f1ff621085e |
child 14936 | a13d5118f628 |
permissions | -rw-r--r-- |
14929 | 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 |