isabelle: lib/texinputs/draft.tex@43ed806acb95 (annotated)

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 51f95648abad tuned; 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}
58870 e2c0d8ef29cb more flexibile \setisabellecontext, independently of header; wenzelm parents: 40893 diff changeset	13	\newcommand{\isamarkupfile}[1]%
14936 a13d5118f628 tuned; wenzelm parents: 14929 diff changeset	14	{{\def\isacharunderscore{\mbox{-}}%
a13d5118f628 tuned; 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 a13d5118f628 tuned; wenzelm parents: 14929 diff changeset	21	%%% Local Variables:
a13d5118f628 tuned; wenzelm parents: 14929 diff changeset	22	%%% mode: latex
a13d5118f628 tuned; wenzelm parents: 14929 diff changeset	23	%%% TeX-master: t
a13d5118f628 tuned; wenzelm parents: 14929 diff changeset	24	%%% End:

author	nipkow
	Wed, 20 Dec 2017 22:07:05 +0100
changeset 67233	43ed806acb95
parent 58870	e2c0d8ef29cb
permissions	-rw-r--r--