Merge branch 'master' of gitlab.science.ru.nl:mlubbers/mc1516the
-rw-r--r-- 24 .gitignore
-rw-r--r-- 228 Makefile
-rw-r--r-- 412916 a.pdf
-rw-r--r-- 503 exam.tex
-rw-r--r-- 1781 first.tex
drwxr-xr-x - img
-rw-r--r-- 3118 second.tex
-rw-r--r-- 2389 third.tex
drwxr-xr-x - uppaal