pep-material: style.sty@cc0154804096 (annotated)

27 a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	1	\usepackage{xcolor}
123 556cd74cbba9 updated Christian Urban <urbanc@in.tum.de> parents: 62 diff changeset	2	%%\usepackage{fontspec}
27 a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	3	\usepackage[sc]{mathpazo}
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	4	\usepackage{fontspec}
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	5	\setmainfont[Ligatures=TeX]{Palatino Linotype}
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	6	\usepackage{amssymb}
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	7	\usepackage{amsmath}
123 556cd74cbba9 updated Christian Urban <urbanc@in.tum.de> parents: 62 diff changeset	8	\usepackage{menukeys}
27 a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	9	\definecolor{darkblue}{rgb}{0,0,0.6}
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	10	\usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref}
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	11
123 556cd74cbba9 updated Christian Urban <urbanc@in.tum.de> parents: 62 diff changeset	12	%%% for regular expressions and values
62 2151c77e1e24 updated Christian Urban <urbanc@in.tum.de> parents: 42 diff changeset	13	\newcommand{\ZERO}{\mbox{\bf 0}}
2151c77e1e24 updated Christian Urban <urbanc@in.tum.de> parents: 42 diff changeset	14	\newcommand{\ONE}{\mbox{\bf 1}}
2151c77e1e24 updated Christian Urban <urbanc@in.tum.de> parents: 42 diff changeset	15	\newcommand{\Left}{\textit{Left}}
2151c77e1e24 updated Christian Urban <urbanc@in.tum.de> parents: 42 diff changeset	16	\newcommand{\Der}{\textit{Der}}
2151c77e1e24 updated Christian Urban <urbanc@in.tum.de> parents: 42 diff changeset	17	\newcommand{\der}{\textit{der}}
2151c77e1e24 updated Christian Urban <urbanc@in.tum.de> parents: 42 diff changeset	18	\newcommand{\Ders}{\textit{Ders}}
2151c77e1e24 updated Christian Urban <urbanc@in.tum.de> parents: 42 diff changeset	19	\newcommand{\ders}{\textit{ders}}
2151c77e1e24 updated Christian Urban <urbanc@in.tum.de> parents: 42 diff changeset	20
27 a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	21	%%% for trees
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	22	%% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	23
123 556cd74cbba9 updated Christian Urban <urbanc@in.tum.de> parents: 62 diff changeset	24
556cd74cbba9 updated Christian Urban <urbanc@in.tum.de> parents: 62 diff changeset	25
27 a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	26	\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	27	\newcommand{\defn}[1]{\textit{\textbf{#1}}}
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	28	\newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}}
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	29
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	30	\definecolor{codegray}{gray}{0.9}
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	31
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	32	\makeatletter
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	33	\def\fnote{\gdef\@thefnmark{}\@footnotetext}
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	34	\makeatother
a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	35
252 a9d84442fb65 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	36	% CW deadlines
a9d84442fb65 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	37	\def\cwSIX{15 November}
a9d84442fb65 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	38	\def\cwSIXa{20 December}
a9d84442fb65 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	39
a9d84442fb65 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	40	\def\cwSEVEN{15 November}
a9d84442fb65 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	41	\def\cwSEVENa{20 December}
123 556cd74cbba9 updated Christian Urban <urbanc@in.tum.de> parents: 62 diff changeset	42
252 a9d84442fb65 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	43	\def\cwEIGHT{15 November}
a9d84442fb65 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	44	\def\cwEIGHTa{20 December}
123 556cd74cbba9 updated Christian Urban <urbanc@in.tum.de> parents: 62 diff changeset	45
253 ec7a12806c3f updated Christian Urban <urbanc@in.tum.de> parents: 252 diff changeset	46	\def\cwNINE{6 December}
252 a9d84442fb65 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	47	\def\cwNINEa{20 December}
123 556cd74cbba9 updated Christian Urban <urbanc@in.tum.de> parents: 62 diff changeset	48
252 a9d84442fb65 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	49	\def\cwTEN{15 November}
a9d84442fb65 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	50	\def\cwTENa{20 December}
a9d84442fb65 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	51

author	Christian Urban <urbanc@in.tum.de>
	Wed, 16 Jan 2019 12:24:47 +0000
changeset 254	cc0154804096
parent 253	ec7a12806c3f
child 279	14bf4e478534
permissions	-rw-r--r--