| author | haftmann |
| Tue, 24 May 2005 14:28:59 +0200 | |
| changeset 16064 | 7953879aa6cf |
| parent 15010 | 72fbe711e414 |
| child 17530 | 25370ec2d44a |
| permissions | -rw-r--r-- |
| wenzelm@14929 | 1 |
%% |
| wenzelm@14929 | 2 |
%% Author: Makarius, Hagia Maria Sion Abbey (Jerusalem) |
| wenzelm@14929 | 3 |
%% |
| wenzelm@14929 | 4 |
%% root for draft documents |
| wenzelm@14929 | 5 |
%% |
| wenzelm@14929 | 6 |
|
| haftmann@16064 | 7 |
|
| wenzelm@14929 | 8 |
\documentclass[10pt,a4paper]{article}
|
| wenzelm@14972 | 9 |
\usepackage{isabelle,isabellesym,pdfsetup}
|
| wenzelm@14970 | 10 |
|
| wenzelm@14972 | 11 |
%packages for unusual symbols according to 'isatool latex -o syms' |
| wenzelm@14929 | 12 |
\usepackage[latin1]{inputenc}
|
| wenzelm@14970 | 13 |
\usepackage{amssymb}
|
| wenzelm@14970 | 14 |
\usepackage{textcomp}
|
| wenzelm@14970 | 15 |
|
| wenzelm@14929 | 16 |
\pagestyle{myheadings}
|
| wenzelm@14929 | 17 |
\renewcommand{\isamarkupheader}[1]%
|
| wenzelm@14936 | 18 |
{{\def\isacharunderscore{\mbox{-}}%
|
| wenzelm@14936 | 19 |
\section*{#1}\markright{FILE~``\isabellecontext''}}}
|
| wenzelm@14929 | 20 |
|
| wenzelm@14929 | 21 |
\begin{document}
|
| wenzelm@14929 | 22 |
\input{session}
|
| wenzelm@14929 | 23 |
\end{document}
|
| wenzelm@14929 | 24 |
|
| wenzelm@14936 | 25 |
%%% Local Variables: |
| wenzelm@14936 | 26 |
%%% mode: latex |
| wenzelm@14936 | 27 |
%%% TeX-master: t |
| wenzelm@14936 | 28 |
%%% End: |