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

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