1.1 --- a/paper/src/paper.tex	Fri Jul 15 23:37:27 2011 +0200
     1.2 +++ b/paper/src/paper.tex	Fri Jul 15 23:38:46 2011 +0200
     1.3 @@ -36,7 +36,6 @@
     1.4  \newcommand{\consq}{\mathsf{consq}}
     1.5  
     1.6  \title{\uppercase{\textbf{\Large{A}\large{lgorithmic} \Large{V}\large{erification of} \Large{R}\large{eactive} \Large{S}\large{ystems}}\\
     1.7 -\tiny{Draft}
     1.8  }}
     1.9  \author{
    1.10  \uppercase{{\small{E}\scriptsize{UGEN} \small{S}\scriptsize{AWIN}}}\thanks{\texttt{sawine@informatik.uni-freiburg.de}}\\