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.
updated
authorChristian Urban <urbanc@in.tum.de>
Sat, 28 Jan 2017 07:47:39 +0000
changeset 467 206271fb1d8c
parent 466 60e2efad126c
child 468 c6308b24fa20
updated
PhD/index.html file | annotate | diff | comparison | revisions 
--- a/PhD/index.html	Sat Jan 28 07:44:38 2017 +0000
+++ b/PhD/index.html	Sat Jan 28 07:47:39 2017 +0000
@@ -39,8 +39,6 @@
 <A HREF="http://nms.kcl.ac.uk/christian.urban/misc.html">Miscellaneous</A>
 <BR><BR>
 
-<A HREF="http://isabelle.in.tum.de/nominal/">
-<IMG SRC="ribbon.gif" ALT="" style="width: 114px; height: 100px;" align="left">
 </A>
 </TD>
public_html