Initial commit

This commit is contained in:
Théophile Bastian 2016-07-11 16:42:34 +01:00
parent d184c83513
commit 8c9109c612
3 changed files with 33 additions and 0 deletions

4
.gitignore vendored Normal file
View File

@ -0,0 +1,4 @@
*.aux
*.log
*.pdf
*.swp

6
Makefile Normal file
View File

@ -0,0 +1,6 @@
TEX=report.tex
all: $(TEX)
pdflatex $(TEX)
pdflatex $(TEX)

23
report.tex Normal file
View File

@ -0,0 +1,23 @@
\documentclass[11pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage[left=2cm,right=2cm,top=2cm,bottom=2cm]{geometry}
% Custom packages
\usepackage{my_listings}
\usepackage{math}
\author{Théophile \textsc{Bastian}}
\title{Internship report --- Concurrent games as event structures\\
\begin{small}Cambridge University --- Glynn Winskel\end{small}}
\date{\today}
\begin{document}
\maketitle
\end{document}