# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1319277850 -3600
# Node ID f6a9118998b69cb97fd2cdd7e4cca88176ba14ab
# Parent  8d979c124fb4e22dc9bf1db56ace77b1abafed1d
tuned

diff -r 8d979c124fb4 -r f6a9118998b6 index.html
--- a/index.html	Sat Oct 22 10:54:41 2011 +0100
+++ b/index.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"></A>
+<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
 </TD>
 
 
diff -r 8d979c124fb4 -r f6a9118998b6 logic.html
--- a/logic.html	Sat Oct 22 10:54:41 2011 +0100
+++ b/logic.html	Sat Oct 22 11:04:10 2011 +0100
@@ -42,7 +42,7 @@
 
 
 <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>
 
diff -r 8d979c124fb4 -r f6a9118998b6 misc.html
--- a/misc.html	Sat Oct 22 10:54:41 2011 +0100
+++ b/misc.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>
 
@@ -52,8 +52,8 @@
 <h3>  GNU/Linux World</h3>
       <dl> <dd> <a href ="http://tldp.org/">
            Linux Documentation Project</a>
-      <dd> <a href ="http://www.dk.xemacs.org/">
-           Xemacs </a>
+      <dd> <a href ="http://www.gnu.org/s/emacs/">
+           Emacs </a>
       <dd> <a href ="http://www.x.org/">
            XOrg </a>
            (<a href ="http://xfree86.org/mailman/listinfo/">Mailing Lists</a>)
@@ -63,7 +63,7 @@
            TeX Live</a>
       <dd> <a href="http://tug.org/">
            TeX Users Group</a> 
-           (<a href ="http://www.tug.org/ListsArchives/">Mailing Lists</a>)
+           (<a href ="http://tug.org/mailman/listinfo">Mailing Lists</a>)
       <dd> <a href="http://slashdot.org/">
            Slashdot</a>
       <dd> <a href="http://lwn.net">
@@ -86,7 +86,7 @@
            The Risks Digest</a>	
       <dd> <a href="http://www.csl.sri.com/users/neumann/insiderisks.html">
            C. of ACM Inside Risks</a>	
-      <dd> <a href="http://latex-beamer.sourceforge.net/">
+      <dd> <a href="https://bitbucket.org/rivanvx/beamer/wiki/Home">
            Beamer Latex Class</a>
       </dl>
 </TD>
@@ -100,7 +100,6 @@
             <a href="http://www.british-airways.com/">British Airways</a>,
             <a href="http://www.lufthansa.de">Lufthansa</a>,
             <a href="http://bahn.hafas.de/index.html">Deutsche Bundesbahn</a>,
-            <a href="http://www.ryanair.co.uk/">Ryanair</a>,
             <a href="http://www.easyjet.co.uk/">Easyjet</a>,  
             <a href="http://www.timeanddate.com/worldclock">World Times</a>
       </dl>
@@ -110,7 +109,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Mon Feb 16 23:17:30 GMT 2009
+Last modified: Sat Oct 22 11:02:07 BST 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
diff -r 8d979c124fb4 -r f6a9118998b6 nominal-logo.gif
Binary file nominal-logo.gif has changed
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>
diff -r 8d979c124fb4 -r f6a9118998b6 publications.html
--- a/publications.html	Sat Oct 22 10:54:41 2011 +0100
+++ b/publications.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>
 
diff -r 8d979c124fb4 -r f6a9118998b6 teaching.html
--- a/teaching.html	Sat Oct 22 10:54:41 2011 +0100
+++ b/teaching.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>
 
diff -r 8d979c124fb4 -r f6a9118998b6 travelling.html
--- a/travelling.html	Sat Oct 22 10:54:41 2011 +0100
+++ b/travelling.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>