# HG changeset patch # User Christian Urban # Date 1505471280 -3600 # Node ID 86be34de47425b1bf017ac6f17268e31f8115640 # Parent 8331ed86d9d70528ad1cbce9f5730ac39822304b updated diff -r 8331ed86d9d7 -r 86be34de4742 publications.html --- a/publications.html Fri Sep 15 11:24:57 2017 +0100 +++ b/publications.html Fri Sep 15 11:28:00 2017 +0100 @@ -2,20 +2,7 @@ Christian Urban - - +

- Last modified: Wed May 18 11:50:47 BST 2016 -[Validate this page.] - +Time-stamp: <- 2017-09-15 11:27:55 by Christian Urban> +[Validate this page.] +