diff -r 8d979c124fb4 -r f6a9118998b6 programming.html
--- a/programming.html	Sat Oct 22 10:54:41 2011 +0100
+++ b/programming.html	Sat Oct 22 11:04:10 2011 +0100
@@ -42,7 +42,7 @@
 <BR><BR>
 
 <A HREF="http://isabelle.in.tum.de/nominal/">
-<IMG SRC="ribbon.gif" ALT="" style="border-width: 0px;" align="left">
+<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left">
 </A>
 </TD>
 </TR>