# HG changeset patch
# User urbanc
# Date 1305179705 0
# Node ID a8a442ba0dbf5802852829aedb6a51034932904c
# Parent  ea2e5acbfe4a2cbc0cc812033e0d0cb3813f62a6
preparation for final paper version

diff -r ea2e5acbfe4a -r a8a442ba0dbf Paper/document/root.tex
--- a/Paper/document/root.tex	Mon May 09 07:25:37 2011 +0000
+++ b/Paper/document/root.tex	Thu May 12 05:55:05 2011 +0000
@@ -12,7 +12,7 @@
 \usepackage{pdfsetup}
 \usepackage{ot1patch}
 \usepackage{times}
-\usepackage{proof}
+%%\usepackage{proof}
 %%\usepackage{mathabx}
 \usepackage{stmaryrd}