# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1336005956 -3600
# Node ID 3178f3f65d83d12a6a954268fab10d2629aa5f62
# Parent  54840d5dab77d1ff2be7cbcd09712aa5d7e137f8
added new version

diff -r 54840d5dab77 -r 3178f3f65d83 Publications/itp-12.pdf
Binary file Publications/itp-12.pdf has changed