Permalink
Browse files

Use the correct title.

  • Loading branch information...
1 parent 50041ee commit 19cf83d2769881d4a9c5b86e4e86abf786da988f @jlouis committed May 23, 2009
Showing with 2 additions and 2 deletions.
  1. +2 −2 report/master.tex
View
@@ -17,8 +17,8 @@
\renewcommand*{\titleM}{\begingroup% Misericords, T&H p 153
\drop = 0.08\textheight
\centering
- {\Huge\bfseries Formalizing JANUS}\\[\baselineskip]
- {\scshape In a proof assistant}\\[\baselineskip]
+ {\Huge\bfseries JANUS}\\[\baselineskip]
+ {\scshape A Mechanized Verification}\\[\baselineskip]
{\scshape by}\\[\baselineskip]
{\large\scshape Jesper Louis Andersen\\jesper.louis.andersen@gmail.com}\par
\endgroup}

0 comments on commit 19cf83d

Please sign in to comment.