diff -r bb061db1a086 -r 0efad4a12d71 factory/v2011/links.html --- a/factory/v2011/links.html Mon Jan 17 14:01:59 2011 +0100 +++ b/factory/v2011/links.html Mon Jan 17 14:18:54 2011 +0100 @@ -16,7 +16,7 @@ My advisor during my bachelor thesis and creator of the brainiac theorem prover called E. -

Friends

+

Friends (with websites)