
19 Feb
2011
19 Feb
'11
7:57 a.m.
Without this patch \rowcolors remains undefined:
Index: src/latexgen.cpp =================================================================== --- src/latexgen.cpp (revision 757) +++ src/latexgen.cpp (working copy) @@ -318,7 +318,7 @@ "\RequirePackage{longtable}\n" "\RequirePackage{verbatim}\n" "\RequirePackage{ifthen}\n" - "\RequirePackage{xcolor}\n\n"; + "\RequirePackage[table]{xcolor}\n\n";
t << "% Use helvetica font instead of times roman\n" "\RequirePackage{helvet}\n"
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it