factory/v2011/links.html
changeset 55 a0a90e9ae77a
parent 41 74ea72921392
child 68 7c2bd2d5b9f5
     1.1 --- a/factory/v2011/links.html	Thu Apr 21 01:55:50 2011 +0200
     1.2 +++ b/factory/v2011/links.html	Sat Jul 16 12:52:33 2011 +0200
     1.3 @@ -10,12 +10,21 @@
     1.4  Kernel dumping thrice a week.
     1.5  </li>
     1.6  </ul>
     1.7 +
     1.8 +<h2>The Bad</h2>
     1.9 +<ul>
    1.10 +<li><h4><a href="https://plus.google.com/101733701635400621767/">Google+ profile</a></h4>
    1.11 +Staying in touch with people by keeping them at a distance.
    1.12 +</li>
    1.13 +</ul>
    1.14 +
    1.15  <h2>Professional</h2>
    1.16  <ul>
    1.17  <li><h4><a href="http://www4.informatik.tu-muenchen.de/~schulz/">Dr. Stephan Schulz</a></h4>
    1.18  My advisor during my bachelor thesis and creator of the brainiac theorem prover called E.
    1.19  </li>
    1.20  </ul>
    1.21 +
    1.22  <h2>Friends (with websites)</h2>
    1.23  <ul>
    1.24  <!--<li><h4><a href="http://www.tomrocket.com">Thomas Witt</a></h4>
    1.25 @@ -27,8 +36,20 @@
    1.26  <li><h4><a href="http://www.unidentify.com">Michael Chlebek</a></h4>
    1.27  A friend, programmer and amateuer photographer.
    1.28  </li>
    1.29 -<li><h4><a href="http://thuber.net">Thomas Huber</a></h4>
    1.30 +<!--<li><h4><a href="http://thuber.net">Thomas Huber</a></h4>
    1.31  A fellow student of artificial intelligence.
    1.32 +</li>-->
    1.33 +</ul>
    1.34 +
    1.35 +<h2>Recursive</h2>
    1.36 +<ul>
    1.37 +<li><h4><a href="links.html">ME73</a></h4>
    1.38 +This is a recursion.
    1.39 +</li>
    1.40 +<li><h4><a href="linksend.html">ME73</a></h4>
    1.41 +This is a well-founded recursion.
    1.42  </li>
    1.43  </ul>
    1.44  
    1.45 +
    1.46 +