# 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>