# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1336987982 -3600
# Node ID 0690574aca74f464c3ccc97e877fdcb9da954481
# Parent  3a920c14139750602f2ba610e98c7be4f6850d66
new version

diff -r 3a920c141397 -r 0690574aca74 Publications/itp-12.pdf
Binary file Publications/itp-12.pdf has changed