diff -r f329c1f3b365 -r 60f6cd4991ad misc.html
--- a/misc.html Sat Oct 22 10:43:10 2011 +0100
+++ b/misc.html Sat Oct 22 10:51:58 2011 +0100
@@ -2,7 +2,7 @@
Christian Urban
-
+
Links
-Home
-Publications
-Teaching
-Recent Talks
+Home
+Publications
+Teaching
+Recent Talks
My Research Group
Handy Information
-People in Logic
-Programming Languages
-Miscellaneous
+People in Logic
+Programming Languages
+Miscellaneous