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

27 a81271342ff6 update Christian Urban <urbanc@in.tum.de> parents: diff changeset	1	\usepackage{xcolor}
123 006f71e905a1 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 006f71e905a1 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 006f71e905a1 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 006f71e905a1 updated Christian Urban <urbanc@in.tum.de> parents: 62 diff changeset	24
006f71e905a1 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 f5948104eef5 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	36	% CW deadlines
f5948104eef5 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	37	\def\cwSIX{15 November}
f5948104eef5 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	38	\def\cwSIXa{20 December}
f5948104eef5 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	39
f5948104eef5 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	40	\def\cwSEVEN{15 November}
f5948104eef5 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	41	\def\cwSEVENa{20 December}
123 006f71e905a1 updated Christian Urban <urbanc@in.tum.de> parents: 62 diff changeset	42
252 f5948104eef5 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	43	\def\cwEIGHT{15 November}
f5948104eef5 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	44	\def\cwEIGHTa{20 December}
123 006f71e905a1 updated Christian Urban <urbanc@in.tum.de> parents: 62 diff changeset	45
253 4da8550b2d0b updated Christian Urban <urbanc@in.tum.de> parents: 252 diff changeset	46	\def\cwNINE{6 December}
252 f5948104eef5 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	47	\def\cwNINEa{20 December}
123 006f71e905a1 updated Christian Urban <urbanc@in.tum.de> parents: 62 diff changeset	48
252 f5948104eef5 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	49	\def\cwTEN{15 November}
f5948104eef5 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	50	\def\cwTENa{20 December}
f5948104eef5 added stub for cws dates Christian Urban <urbanc@in.tum.de> parents: 123 diff changeset	51

author	Christian Urban <urbanc@in.tum.de>
	Thu, 01 Aug 2019 09:48:34 +0100
changeset 268	d20583497c5b
parent 253	4da8550b2d0b
child 279	68b36b4efe82
permissions	-rw-r--r--