# HG changeset patch
# User wenzelm
# Date 1335551075 -7200
# Node ID 608efebec5b87e0b4efcc7ffe2ade47109e16592
# Parent  0d5773841bc4d82c5975ada94044f47f6712b7a5
chmod -x;

diff -r 0d5773841bc4 -r 608efebec5b8 doc-src/ProgProve/svmono.cls