author | wenzelm |
Sat, 22 Oct 2016 21:10:02 +0200 | |
changeset 64350 | 3af8566788e7 |
parent 58870 | e2c0d8ef29cb |
permissions | -rw-r--r-- |
%% %% root for draft documents %% \documentclass[10pt,a4paper]{article} \usepackage{isabelle,isabellesym,pdfsetup} %packages for unusual symbols according to 'isabelle latex -o syms' \usepackage{amssymb} \usepackage{textcomp} \pagestyle{myheadings} \newcommand{\isamarkupfile}[1]% {{\def\isacharunderscore{\mbox{-}}% \section*{#1}\markright{FILE~``\isabellecontext''}}} \begin{document} \input{session} \end{document} %%% Local Variables: %%% mode: latex %%% TeX-master: t %%% End: