diff options
| author | Erin van der Veen | 2018-07-06 22:13:16 +0200 |
|---|---|---|
| committer | Erin van der Veen | 2018-07-06 22:13:16 +0200 |
| commit | 415168b539662b5e3520b21b1595c7e7ede9c849 (patch) | |
| tree | ef4b0dc87988ad47325f616818e710d7a2d873d6 /Assignment2/report | |
| parent | Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking (diff) | |
\o/
Diffstat (limited to 'Assignment2/report')
| -rw-r--r-- | Assignment2/report/assignment2.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Assignment2/report/assignment2.tex b/Assignment2/report/assignment2.tex index 48e9328..3d3769d 100644 --- a/Assignment2/report/assignment2.tex +++ b/Assignment2/report/assignment2.tex @@ -19,7 +19,7 @@ \begin{document} -\title{Model Repair in Practice} +\title{Model Repair in Clean \textbackslash{}o/} \author{Camil Staps \and Erin van der Veen} \authorrunning{C. Staps \and E. van der Veen} \institute{% |