# HG changeset patch # User Christian Urban # Date 1363069708 0 # Node ID 6c3c2e735170aec291024dc4aee5bc9169d07918 # Parent 57185f269f9491fd8f519131d68b3b8f90cf8078 tuned diff -r 57185f269f94 -r 6c3c2e735170 Publications/tm.pdf Binary file Publications/tm.pdf has changed diff -r 57185f269f94 -r 6c3c2e735170 teaching.html --- a/teaching.html Thu Mar 07 13:42:18 2013 +0000 +++ b/teaching.html Tue Mar 12 06:28:28 2013 +0000 @@ -99,7 +99,7 @@