| author | wenzelm |
| Wed, 06 Aug 2008 00:10:22 +0200 | |
| changeset 27751 | 22c32eb18c23 |
| parent 17530 | 25370ec2d44a |
| child 28504 | 7ad7d7d6df47 |
| permissions | -rw-r--r-- |
| 14929 | 1 |
%% |
| 17530 | 2 |
%% $Id$ |
| 14929 | 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: |