Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned pics
authorChristian Urban <urbanc@in.tum.de>
Thu, 03 Nov 2011 01:41:20 +0000
changeset 39 160040af338e
parent 38 f4c8b96189f6
child 40 cea9026a022d
tuned pics
logic.html file | annotate | diff | comparison | revisions
misc.html file | annotate | diff | comparison | revisions
programming.html file | annotate | diff | comparison | revisions
publications.html file | annotate | diff | comparison | revisions
teaching.html file | annotate | diff | comparison | revisions
travelling.html file | annotate | diff | comparison | revisions 
--- a/logic.html	Tue Nov 01 11:26:20 2011 +0000
+++ b/logic.html	Thu Nov 03 01:41:20 2011 +0000
@@ -41,9 +41,20 @@
 <BR><BR>
 
 
+<table border="0">
+<tr>
+<td>
 <A HREF="http://isabelle.in.tum.de/nominal/">
-<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left">
-</A>
+<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
+</td>
+</tr>
+<tr>
+<td>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/">
+<IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A>
+</td>
+</tr>
+</table>
 </TD>
 
 
@@ -152,7 +163,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Sat Oct 22 11:44:13 BST 2011
+Last modified: Thu Nov  3 01:36:14 GMT 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
--- a/misc.html	Tue Nov 01 11:26:20 2011 +0000
+++ b/misc.html	Thu Nov 03 01:41:20 2011 +0000
@@ -41,9 +41,20 @@
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A>
 <BR><BR>
 
+<table border="0">
+<tr>
+<td>
 <A HREF="http://isabelle.in.tum.de/nominal/">
-<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left">
-</A>
+<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
+</td>
+</tr>
+<tr>
+<td>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/">
+<IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A>
+</td>
+</tr>
+</table>
 </TD>
 
 
@@ -109,7 +120,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Sat Oct 22 11:02:07 BST 2011
+Last modified: Thu Nov  3 01:35:52 GMT 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
--- a/programming.html	Tue Nov 01 11:26:20 2011 +0000
+++ b/programming.html	Thu Nov 03 01:41:20 2011 +0000
@@ -41,9 +41,20 @@
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A>
 <BR><BR>
 
+<table border="0">
+<tr>
+<td>
 <A HREF="http://isabelle.in.tum.de/nominal/">
-<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left">
-</A>
+<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
+</td>
+</tr>
+<tr>
+<td>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/">
+<IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A>
+</td>
+</tr>
+</table>
 </TD>
 </TR>
 
@@ -108,7 +119,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Sat Oct 22 11:08:38 BST 2011
+Last modified: Thu Nov  3 01:35:23 GMT 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
--- a/publications.html	Tue Nov 01 11:26:20 2011 +0000
+++ b/publications.html	Thu Nov 03 01:41:20 2011 +0000
@@ -54,9 +54,20 @@
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A>
 <BR><BR>
 
+<table border="0">
+<tr>
+<td>
 <A HREF="http://isabelle.in.tum.de/nominal/">
-<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left">
-</A>
+<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
+</td>
+</tr>
+<tr>
+<td>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/">
+<IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A>
+</td>
+</tr>
+</table>
 </TD>
 
 
@@ -434,7 +445,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Fri Oct 28 10:15:42 BST 2011
+Last modified: Thu Nov  3 01:37:01 GMT 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 
--- a/teaching.html	Tue Nov 01 11:26:20 2011 +0000
+++ b/teaching.html	Thu Nov 03 01:41:20 2011 +0000
@@ -54,9 +54,20 @@
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A>
 <BR><BR>
 
+<table border="0">
+<tr>
+<td>
 <A HREF="http://isabelle.in.tum.de/nominal/">
-<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left">
-</A>
+<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
+</td>
+</tr>
+<tr>
+<td>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/">
+<IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A>
+</td>
+</tr>
+</table>
 </TD>
 
 
@@ -368,7 +379,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Fri Oct 28 10:16:21 BST 2011
+Last modified: Thu Nov  3 01:36:36 GMT 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
--- a/travelling.html	Tue Nov 01 11:26:20 2011 +0000
+++ b/travelling.html	Thu Nov 03 01:41:20 2011 +0000
@@ -43,9 +43,20 @@
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A>
 <BR><BR>
 
+<table border="0">
+<tr>
+<td>
 <A HREF="http://isabelle.in.tum.de/nominal/">
-<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left">
-</A>
+<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
+</td>
+</tr>
+<tr>
+<td>
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/">
+<IMG SRC="Cookbook/logo-documentation.gif" ALT="" style="border-width: 0px;" align="left"></A>
+</td>
+</tr>
+</table>
 </TD>
 
 
@@ -330,7 +341,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Sat Oct 22 12:01:22 BST 2011
+Last modified: Thu Nov  3 01:37:25 GMT 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
public_html