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