Mercurial Mercurial > hg > public_html / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/menu.html
changeset 402 9e089afe5086
child 405 78d68c3da9d3 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Nominal/menu.html	Wed Mar 30 16:06:25 2016 +0100
@@ -0,0 +1,154 @@
+<?xml version="1.0" encoding="utf-8"?>
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html>
+<head>
+  <title>Menu</title>
+  <style type="text/css">
+   a:link{text-decoration:none;}
+   a:visited{text-decoration:none;}
+   a:hover{text-decoration:underline;}
+  </style>
+</head>
+
+
+<body style="color: rgb(0,0,0);" alink="#000099" link="#000099" vlink="#990099">
+
+<span style="font-weight: bold; color: rgb(255, 255, 255);"></span>
+<table style="text-align: left; width: 100%;" border="0" cellpadding="2" cellspacing="0">
+
+
+<tbody>
+
+<tr>
+<td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);">
+Navigation</span></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"> <a href="main.html" target="content">
+Overview</a> </td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a target="content" href="documentation.html">
+Documentation</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a href="download.html" target="content">
+Download</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle" target="_top">
+Mailing List</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a href="activities.html" target="content">
+Activities</a></td>
+</tr>
+ 
+<tr>
+<td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);">
+Members and Local Friends</span></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a href="http://http://www.inf.kcl.ac.uk/staff/urbanc/" target="_top">
+Christian Urban</a> (chair)</td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a href="http://cl-informatik.uibk.ac.at/users/cek/" target="_top">
+Cezary Kaliszyk</a> </td>
+</tr>
+
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);">Chunhan Wu</td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);">
+International Friends</span></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a href="http://www.cl.cam.ac.uk/~amp12/" target="_top">
+Andrew Pitts</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a href="http://www4.in.tum.de/~berghofe/" target="_top">
+Stefan Berghofer</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a href="http://www4.in.tum.de/~wenzelm/" target="_top">
+Markus Wenzel</a></td>
+</tr>
+
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a href="http://www.cis.upenn.edu/~bcpierce/" target="_top">
+Benjamin Pierce</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a href="http://www.cis.upenn.edu/~stevez/" target="_top">
+Steve Zdancewic</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a href="http://users.rsise.anu.edu.au/~michaeln/" target="_top">
+Michael Norrish</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a href="http://homepages.inf.ed.ac.uk/jcheney/" target="_top">
+James Cheney</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a href="http://www.it.uu.se/katalog/jesperb/" target="_top">
+Jesper Bengtson</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a href="http://dpt-info.u-strasbg.fr/~narboux/" target="_top">
+Julien Narboux</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a href="http://homepages.inf.ed.ac.uk/rap/" target="_top">
+Randy Pollack</a></td>
+</tr>
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);"><a href="http://user.it.uu.se/~tjawe125/" target="_top">
+Tjark Weber</a></td>
+</tr>
+
+
+
+<tr>
+<td style="background-color: rgb(224, 224, 240);">
+<br><br><br><br>
+<a href="http://www4.clustrmaps.com/counter/maps.php?url=http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/" id="clustrMapsLink" target="_top"><img src="http://www4.clustrmaps.com/counter/index2.php?url=http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/" style="border:0px;" alt="Locations of visitors to this page" title="Locations of visitors to this page" id="clustrMapsImg" onError="this.onError=null; this.src='http://www2.clustrmaps.com/images/clustrmaps-back-soon.jpg'; document.getElementById('clustrMapsLink').href='http://www2.clustrmaps.com'" />
+</a></td></tr>
+</tbody>
+</table>
+
+
+<!-- script type="text/javascript">
+var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
+document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
+</script>
+<script type="text/javascript">
+var pageTracker = _gat._getTracker("UA-4143458-1");
+pageTracker._initData();
+pageTracker._trackPageview();
+</script -->
+</body>
+</html>
public_html