initial commit

.gitignore

@@ -0,0 +1,14 @@
+*.aux
+*.log
+*.pdf
+*.bbl
+*.blg
+*.out
+*.fdb_latexmk
+*.fls
+*.snm
+*.toc
+*.vrb
+*.nav
+*.rev
+*~

Makefile

@@ -0,0 +1,10 @@
+LATEXMK=latexmk -pdf -bibtex
+.PHONY: mk
+mk:
+	$(LATEXMK)
+
+clean:
+	latexmk -c
+	rm -f *.{log,bbl,nav,rev,snm,vrb,vtc}
+
+.PHONY: all clean

mybibliography.sty

@@ -0,0 +1,10 @@
+\usepackage{natbib}
+
+\usepackage{url}
+% loading 'url' here ensures that URLs are broken into several lines
+% in the bibliography (see natbib documentation).
+
+\bibliographystyle{plainnaturl}
+\citestyle{authoryear}
+% [Gabriel] I have a strong preference for author-year citation style,
+% with all authors listed (\citet*, \citep*)

mygeometry.sty

@@ -0,0 +1,2 @@
+\usepackage{a4}
+\usepackage[margin=2.5cm]{geometry}

myhyperref.sty

@@ -0,0 +1,3 @@
+\usepackage{hyperref}
+\usepackage[dvipsnames]{xcolor}
+\hypersetup{breaklinks=true,colorlinks=true,citecolor=OliveGreen,urlcolor=Plum}

mylistings.sty

@@ -0,0 +1,17 @@
+\usepackage{listings}
+\lstset{
+  mathescape=true,
+  language=[Objective]{Caml},
+  basicstyle=\ttfamily,
+  extendedchars=true,
+  showstringspaces=false,
+  aboveskip=\smallskipamount,
+  % belowskip=\smallskipamount,
+  columns=fullflexible,
+  moredelim=**[is][\color{blue}]{/*}{*/},
+  moredelim=**[is][\color{green!60!black}]{/!}{!/},
+  moredelim=**[is][\color{orange}]{/(}{)/},
+  moredelim=[is][\color{red}]{/[}{]/},
+  xleftmargin=1em,
+}
+\lstset{aboveskip=0.4ex,belowskip=0.4ex}

notations.sty

@@ -0,0 +1 @@
+\newcommand{\Inferno}{Inferno}