diff -r 3c1a98a18f92 -r 1afb9462ea70 misc.html
--- a/misc.html Fri Oct 28 10:16:45 2011 +0100
+++ b/misc.html Fri Oct 28 14:43:57 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