Merge branch 'master' of github.com:dopefishh/mc1516pa

[mc1516pa.git] / report1 / pre.tex

diff --git a/report1/pre.tex b/report1/pre.tex
index 09bb5f2..81e71df 100644 (file)
--- a/report1/pre.tex
+++ b/report1/pre.tex
@@ -10,6 +10,6 @@
        basicstyle=\scriptsize
 }
 
-\title{Solving Sokoban with NuSMV}
-\author{Alexander Fedotov(s4460952)\and Mart Lubbers(s4109503)}
+\title{Solving Sokoban with \textsc{NuSMV}}
+\author{Alexander Fedotov (s4460952)\and Mart Lubbers (s4109503)}
 \date{\today}