diff -r 90779aefbf1a -r 431cf4e6a7e2 Paper/document/root.tex --- a/Paper/document/root.tex Wed Dec 08 17:07:08 2010 +0000 +++ b/Paper/document/root.tex Thu Dec 09 17:10:08 2010 +0000 @@ -60,7 +60,7 @@ %-------------------- environment definitions ----------------- \newenvironment{proof-of}[1]{{\em Proof of #1:}}{} -\addtolength{\textwidth}{2mm} +%\addtolength{\textwidth}{2mm} \addtolength{\parskip}{-0.33mm} \begin{document}