author | wenzelm |
Sun, 12 Mar 2017 18:50:02 +0100 | |
changeset 65202 | 187277b77d50 |
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: