1.1 --- a/doc-src/isac/jrocnik/bakkarbeit_titlepage.tex Mon Feb 20 18:31:00 2012 +0100
1.2 +++ b/doc-src/isac/jrocnik/bakkarbeit_titlepage.tex Wed Mar 07 15:29:02 2012 +0100
1.3 @@ -16,7 +16,7 @@
1.4 \HRule
1.5 \vspace{0.3cm}
1.6 \Large{
1.7 - \bf Towards Interactive Course Material\\ for Signal Processing based on Isabelle/\isac\\
1.8 + \bf Interactive Course Material for Signal Processing based on Isabelle/\isac\\
1.9 }
1.10 \HRule
1.11
1.12 @@ -29,7 +29,7 @@
1.13
1.14 \vspace{1cm}
1.15 \normalsize{by}\\
1.16 - Jan Simon Rocnik\\\href{mailto:student.tugraz.at}{\tt jan.rocnik@student.tugraz.at}
1.17 + Jan Simon Ro\v{c}nik\\\href{mailto:student.tugraz.at}{\tt jan.rocnik@student.tugraz.at}
1.18
1.19 \vspace{1cm}
1.20 \normalsize{Supervisor}\\