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