afl-material: style.sty@c909756486ee (annotated)

236 34e901c529ce farmed out style files Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	\usepackage{xcolor}
399 5c1fbb39c93e updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 398 diff changeset	2	%%\usepackage{fontspec}
236 34e901c529ce farmed out style files Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	\usepackage[sc]{mathpazo}
34e901c529ce farmed out style files Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	\usepackage{fontspec}
34e901c529ce farmed out style files Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	\setmainfont[Ligatures=TeX]{Palatino Linotype}
34e901c529ce farmed out style files Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	\usepackage{amssymb}
34e901c529ce farmed out style files Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	\usepackage{amsmath}
798 409e5014edde updated Christian Urban <christian.urban@kcl.ac.uk> parents: 780 diff changeset	8	%\usepackage{menukeys}
236 34e901c529ce farmed out style files Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9	\definecolor{darkblue}{rgb}{0,0,0.6}
34e901c529ce farmed out style files Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	\usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref}
618 1c7cca56fadf updated Christian Urban <urbanc@in.tum.de> parents: 461 diff changeset	11	\usepackage{soul}
743 f063a6cd5d91 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 719 diff changeset	12	\usepackage{marginnote}
f063a6cd5d91 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 719 diff changeset	13	\usepackage{fontawesome5}
236 34e901c529ce farmed out style files Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14
400 e4afe3f46c29 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 399 diff changeset	15	%%% for regular expressions and values
398 c8ce95067c1a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 395 diff changeset	16	\newcommand{\ZERO}{\mbox{\bf 0}}
c8ce95067c1a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 395 diff changeset	17	\newcommand{\ONE}{\mbox{\bf 1}}
400 e4afe3f46c29 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 399 diff changeset	18	\newcommand{\Left}{\textit{Left}}
669 e22b5faa7e66 updated Christian Urban <urbanc@in.tum.de> parents: 618 diff changeset	19	\newcommand{\Right}{\textit{Right}}
433 c08290ee4f1f updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 416 diff changeset	20	\newcommand{\Der}{\textit{Der}}
c08290ee4f1f updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 416 diff changeset	21	\newcommand{\der}{\textit{der}}
c08290ee4f1f updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 416 diff changeset	22	\newcommand{\Ders}{\textit{Ders}}
c08290ee4f1f updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 416 diff changeset	23	\newcommand{\ders}{\textit{ders}}
669 e22b5faa7e66 updated Christian Urban <urbanc@in.tum.de> parents: 618 diff changeset	24	\newcommand{\inj}{\textit{inj}}
e22b5faa7e66 updated Christian Urban <urbanc@in.tum.de> parents: 618 diff changeset	25	\newcommand{\nullable}{\textit{nullable}}
398 c8ce95067c1a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 395 diff changeset	26
295 19f23c4c2167 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 239 diff changeset	27
239 68d98140b90b added notation handout Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 236 diff changeset	28
68d98140b90b added notation handout Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 236 diff changeset	29
743 f063a6cd5d91 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 719 diff changeset	30	%%% url pointers
756 cb2918e02806 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 754 diff changeset	31	\newcommand{\hv}[1]{\href{#1}{\faFilm}}
754 05a51fa5f7bb ammonite Christian Urban <christian.urban@kcl.ac.uk> parents: 751 diff changeset	32	\newcommand{\hr}[1]{\href{#1}{\faHandPointRight[regular]}}
743 f063a6cd5d91 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 719 diff changeset	33	\newcommand{\here}[1]{\marginnote{\href{#1}{\faHandPointRight[regular]}}}
f063a6cd5d91 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 719 diff changeset	34	\newcommand{\video}[1]{\marginnote{\href{#1}{\faFilm}}}
f063a6cd5d91 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 719 diff changeset	35	\newcommand{\alert}{\reversemarginpar\marginpar{\mbox{}\hfill\textcolor{red}{\faExclamationTriangle}}}
f063a6cd5d91 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 719 diff changeset	36
f063a6cd5d91 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 719 diff changeset	37
239 68d98140b90b added notation handout Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 236 diff changeset	38	\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}
68d98140b90b added notation handout Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 236 diff changeset	39	\newcommand{\defn}[1]{\textit{\textbf{#1}}}
68d98140b90b added notation handout Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 236 diff changeset	40	\newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}}
68d98140b90b added notation handout Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 236 diff changeset	41
236 34e901c529ce farmed out style files Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42	\definecolor{codegray}{gray}{0.9}
331 a2c18456c6b7 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 327 diff changeset	43
395 e57d3d92b856 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 394 diff changeset	44	\makeatletter
e57d3d92b856 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 394 diff changeset	45	\def\fnote{\gdef\@thefnmark{}\@footnotetext}
e57d3d92b856 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 394 diff changeset	46	\makeatother
e57d3d92b856 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 394 diff changeset	47
331 a2c18456c6b7 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 327 diff changeset	48	\newcommand{\HEADER}{{\bf Please submit your solutions via email. Please submit
743 f063a6cd5d91 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 719 diff changeset	49	only PDFs! Every solution should be preceeded by the corresponding
461 d1d489cd170d updated Christian Urban <urbanc@in.tum.de> parents: 438 diff changeset	50	question text, like:
347 22b5294daa2a updated hws Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 331 diff changeset	51
22b5294daa2a updated hws Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 331 diff changeset	52	\begin{center}
22b5294daa2a updated hws Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 331 diff changeset	53	\begin{tabular}{ll}
22b5294daa2a updated hws Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 331 diff changeset	54	Q$n$: & \ldots a difficult question from me\ldots\\
22b5294daa2a updated hws Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 331 diff changeset	55	A: & \ldots an answer from you \ldots\\
22b5294daa2a updated hws Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 331 diff changeset	56	Q$n+1$ & \ldots another difficult question\ldots\\
22b5294daa2a updated hws Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 331 diff changeset	57	A: & \ldots another brilliant answer from you\ldots
22b5294daa2a updated hws Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 331 diff changeset	58	\end{tabular}
22b5294daa2a updated hws Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 331 diff changeset	59	\end{center}
22b5294daa2a updated hws Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 331 diff changeset	60
438 84608b4b3578 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	61	\noindent Solutions will only be accepted until 20th December! Please send only
394 2f9fe225ecc8 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 347 diff changeset	62	one homework per email.}\bigskip}
403 564f7584eff1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 400 diff changeset	63
564f7584eff1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 400 diff changeset	64	\newcommand{\POSTSCRIPT}{
564f7584eff1 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 400 diff changeset	65	{\bf (Optional)} This question is for you to provide
416 357c395ae838 updated Christian Urban <urbanc@in.tum.de> parents: 403 diff changeset	66	regular feedback to me: for example
357c395ae838 updated Christian Urban <urbanc@in.tum.de> parents: 403 diff changeset	67	what were the most interesting, least interesting, or confusing
357c395ae838 updated Christian Urban <urbanc@in.tum.de> parents: 403 diff changeset	68	parts in this lecture? Any problems with my Scala code? Please
618 1c7cca56fadf updated Christian Urban <urbanc@in.tum.de> parents: 461 diff changeset	69	feel free to share any other questions or concerns. Also, all my
1c7cca56fadf updated Christian Urban <urbanc@in.tum.de> parents: 461 diff changeset	70	material is \st{crap} imperfect. If you have any suggestions for
743 f063a6cd5d91 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 719 diff changeset	71	improvement, I am very grateful to hear.\medskip
f063a6cd5d91 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 719 diff changeset	72
f063a6cd5d91 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 719 diff changeset	73	If you want to share anything (code, videos, links), you are
f063a6cd5d91 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 719 diff changeset	74	encouraged to do so. Just drop me an email.}
719 0ba5aa9ecaa4 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 669 diff changeset	75
0ba5aa9ecaa4 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 669 diff changeset	76
0ba5aa9ecaa4 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 669 diff changeset	77	% CW deadlines
766 ef7a7c4b24b7 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 756 diff changeset	78	\def\cwONE{16 October}
780 8207fbb1760c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 766 diff changeset	79	\def\cwTWO{6 November}
802 1c98f440d265 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 798 diff changeset	80	\def\cwTHREE{27 November}
1c98f440d265 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 798 diff changeset	81	\def\cwFOUR{18 December}
751 02bc5af1c5f2 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 743 diff changeset	82	\def\cwFIVE{15 January}
719 0ba5aa9ecaa4 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 669 diff changeset	83
0ba5aa9ecaa4 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 669 diff changeset	84	\def\cwISABELLE{11 December}

author	Christian Urban <christian.urban@kcl.ac.uk>
	Tue, 24 Nov 2020 21:22:31 +0000
changeset 809	c909756486ee
parent 802	1c98f440d265
child 833	7c3b8bb4a174
permissions	-rw-r--r--