lib/texinputs/draft.tex
author boehmes
Tue, 07 Dec 2010 15:44:38 +0100
changeset 41064 0c447a17770a
parent 40893 7d88ebdce380
child 58870 e2c0d8ef29cb
permissions -rw-r--r--
updated SMT certificates
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
14929
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
     1
%%
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
     2
%% root for draft documents
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
     3
%%
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
     4
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
     5
\documentclass[10pt,a4paper]{article}
14972
wenzelm
parents: 14970
diff changeset
     6
\usepackage{isabelle,isabellesym,pdfsetup}
14970
8159ade98144 more generous treatment of packages in draft prints;
wenzelm
parents: 14966
diff changeset
     7
28504
7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
wenzelm
parents: 17530
diff changeset
     8
%packages for unusual symbols according to 'isabelle latex -o syms'
14970
8159ade98144 more generous treatment of packages in draft prints;
wenzelm
parents: 14966
diff changeset
     9
\usepackage{amssymb}
8159ade98144 more generous treatment of packages in draft prints;
wenzelm
parents: 14966
diff changeset
    10
\usepackage{textcomp}
8159ade98144 more generous treatment of packages in draft prints;
wenzelm
parents: 14966
diff changeset
    11
14929
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    12
\pagestyle{myheadings}
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    13
\renewcommand{\isamarkupheader}[1]%
14936
wenzelm
parents: 14929
diff changeset
    14
{{\def\isacharunderscore{\mbox{-}}%
wenzelm
parents: 14929
diff changeset
    15
\section*{#1}\markright{FILE~``\isabellecontext''}}}
14929
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    16
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    17
\begin{document}
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    18
\input{session}
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    19
\end{document}
7f1ff621085e root for draft documents;
wenzelm
parents:
diff changeset
    20
14936
wenzelm
parents: 14929
diff changeset
    21
%%% Local Variables:
wenzelm
parents: 14929
diff changeset
    22
%%% mode: latex
wenzelm
parents: 14929
diff changeset
    23
%%% TeX-master: t
wenzelm
parents: 14929
diff changeset
    24
%%% End: