diff -r 22c6b6144abd -r 8035515bbbc6 Quotient-Paper/document/root.tex --- a/Quotient-Paper/document/root.tex Sun Jun 13 14:39:55 2010 +0200 +++ b/Quotient-Paper/document/root.tex Sun Jun 13 17:01:15 2010 +0200 @@ -9,6 +9,7 @@ \usepackage{tikz} \usepackage{pgf} \usepackage{verbdef} +\usepackage{longtable} \urlstyle{rm} \isabellestyle{it}