|
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]%
|
|
14936
|
15 |
{{\def\isacharunderscore{\mbox{-}}%
|
|
|
16 |
\section*{#1}\markright{FILE~``\isabellecontext''}}}
|
|
14929
|
17 |
|
|
|
18 |
\begin{document}
|
|
|
19 |
\input{session}
|
|
|
20 |
\end{document}
|
|
|
21 |
|
|
14936
|
22 |
%%% Local Variables:
|
|
|
23 |
%%% mode: latex
|
|
|
24 |
%%% TeX-master: t
|
|
|
25 |
%%% End:
|