X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=report1%2Fpre.tex;h=81e71df4dbcb8529f75c8e3de02e68c519d4ff14;hb=a37ac89caecc944dfaeea5bd6501fc7252437541;hp=09bb5f28229199bc682306a2981fe2ec3f9c29f5;hpb=36c7bbee78dc35e2311cfe62ede14fa8c58debb6;p=mc1516pa.git

diff --git a/report1/pre.tex b/report1/pre.tex
index 09bb5f2..81e71df 100644
--- 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}