--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/misc.html Sat Oct 22 10:43:10 2011 +0100
@@ -0,0 +1,117 @@
+<?xml version="1.0" encoding="utf-8"?>
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<HEAD>
+<TITLE> Christian Urban </TITLE>
+<BASE HREF="http://www4.in.tum.de/~urbanc/">
+</HEAD>
+
+<BODY TEXT="#000000"
+ BGCOLOR="#4169E1"
+ LINK="#0000EF"
+ VLINK="#51188E"
+ ALINK="#FF0000">
+
+<TABLE WIDTH="100%"
+ BGCOLOR="#4169E1"
+ BORDER="0"
+ FRAME="border"
+ CELLPADDING="10"
+ CELLSPACING="2"
+ RULES="all">
+
+<!-- left column -->
+<TR>
+<TD BGCOLOR="#FFFFFF"
+ WIDTH="24%"
+ VALIGN="TOP"
+ ROWSPAN="2">
+
+<B>Links</B><BR>
+<A HREF="http://www4.in.tum.de/~urbanc/">Home</A><BR>
+<A HREF="http://www4.in.tum.de/~urbanc/publications.html">Publications</A><BR>
+<A HREF="http://www4.in.tum.de/~urbanc/teaching.html">Teaching</A><BR>
+<A HREF="http://www4.in.tum.de/~urbanc/travelling.html">Recent Talks</A><BR>
+<A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A>
+<BR>
+<BR>
+
+<B>Handy Information</B><BR>
+<A HREF="http://www4.in.tum.de/~urbanc/logic.html">People in Logic</A><BR>
+<A HREF="http://www4.in.tum.de/~urbanc/programming.html">Programming Languages</A><BR>
+<A HREF="http://www4.in.tum.de/~urbanc/misc.html">Miscellaneous</A>
+<BR><BR>
+
+<A HREF="http://isabelle.in.tum.de/nominal/">
+<IMG SRC="ribbon.gif" ALT="" style="border-width: 0px;" align="left">
+</A>
+</TD>
+
+
+<!-- right column -->
+<TD BGCOLOR="#FFFFFF" WIDTH="75%">
+<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.x.org/">
+ XOrg </a>
+ (<a href ="http://xfree86.org/mailman/listinfo/">Mailing Lists</a>)
+ <dd> <a href="http://www.tex.ac.uk/tex-archive/help/Catalogue/catalogue.html">
+ CTAN Catalogue</a>
+ <dd> <a href="http://www.tug.org/texlive/">
+ TeX Live</a>
+ <dd> <a href="http://tug.org/">
+ TeX Users Group</a>
+ (<a href ="http://www.tug.org/ListsArchives/">Mailing Lists</a>)
+ <dd> <a href="http://slashdot.org/">
+ Slashdot</a>
+ <dd> <a href="http://lwn.net">
+ Linux Weekly News</a>
+ <dd> <a href="http://www.kernel.org/">
+ Linux-Kernel Archive</a>
+ (<a href="http://www.uwsg.indiana.edu/hypermail/linux/kernel/">Mailing List</a>)
+ <dd> <a href="http://www.slackware.com">
+ Slackware</a>,
+ <a href="ftp://ftp.gwdg.de/pub/linux/slackware/">
+ Slackware-Ftp</a>,
+ <a href="http://www.linuxpackages.net/">
+ Packages</a>,
+ <a href="http://www.userlocal.com/phorum/">
+ Forum</a>
+ <dd> <a href="http://www.kde.org/">
+ KDE Desktop</a>
+ (<a href ="http://lists.kde.org/">Mailing Lists</a>)
+ <dd> <a href="http://catless.ncl.ac.uk/Risks/">
+ 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/">
+ Beamer Latex Class</a>
+ </dl>
+</TD>
+</TR>
+
+
+<TR>
+<TD BGCOLOR="#FFFFFF" WIDTH="75%">
+ <h4> Airlines and Railways </h4>
+ <dl> <dd>
+ <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>
+</TD>
+</TR>
+
+</TABLE>
+<P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 -->
+<!-- hhmts start -->
+Last modified: Mon Feb 16 23:17:30 GMT 2009
+<!-- hhmts end -->
+<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
+</BODY>
+</HTML>