factory/v2011/links.html
changeset 41 74ea72921392
parent 38 0efad4a12d71
child 55 a0a90e9ae77a
     1.1 --- a/factory/v2011/links.html	Mon Jan 17 14:38:36 2011 +0100
     1.2 +++ b/factory/v2011/links.html	Tue Jan 18 23:02:29 2011 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4  </ul>
     1.5  <h2>Professional</h2>
     1.6  <ul>
     1.7 -<li><h4><a href="http://www4.informatik.tu-muenchen.de/~schulz/">Dr. rer. nat. Stephan Schulz</a></h4>
     1.8 +<li><h4><a href="http://www4.informatik.tu-muenchen.de/~schulz/">Dr. Stephan Schulz</a></h4>
     1.9  My advisor during my bachelor thesis and creator of the brainiac theorem prover called E.
    1.10  </li>
    1.11  </ul>