diff -r 3c1a98a18f92 -r 1afb9462ea70 logic.html
--- a/logic.html Fri Oct 28 10:16:45 2011 +0100
+++ b/logic.html Fri Oct 28 14:43:57 2011 +0100
@@ -2,7 +2,7 @@
Homepage of 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
@@ -67,7 +67,7 @@
Dale Miller
Daniel Friedman
David Pym
-Edmund Robinson
+Edmund Robinson
Frank Pfenning
Gavin Bierman
George Necula
@@ -75,7 +75,7 @@
Gilles Dowek
Glynn Winskel
Gopalan Nadathur
-Gordon Plotkin
+Gordon Plotkin
Helmut Schwichtenberg
Henk Barendregt
Hugo Herbelin
@@ -97,7 +97,7 @@
- Laurie Tratt
- Luke Ong
-- Maribel Fernandez
+- Maribel Fernandez
- Markus Wenzel
- Martin Hofmann
- Martin Hyland
@@ -116,7 +116,7 @@
- René Vestergaard
- Robert Constable
- Robert Harper
-- Roy Dyckhoff
+- Roy Dyckhoff
- Samson Abramsky
- Steffen Hölldobler
- Steffen Zschaler