# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1336742955 -3600
# Node ID 80092a2565a20c7d03907632d7b65e7620a60f05
# Parent  27a11d60309a4e7856fe146f8935cb9ab687bcfb
new version

diff -r 27a11d60309a -r 80092a2565a2 Publications/itp-12.pdf
Binary file Publications/itp-12.pdf has changed