author | wenzelm |
Mon, 09 Oct 2017 21:43:27 +0200 | |
changeset 66823 | f529719cc47d |
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: