| changeset 51463 | fa84494bf3a0 |
| parent 51448 | b041137f7fe5 |
| child 51532 | cdffeaf1402e |
--- a/src/Doc/ProgProve/document/prelude.tex Tue Mar 19 15:59:58 2013 +0100 +++ b/src/Doc/ProgProve/document/prelude.tex Tue Mar 19 21:35:15 2013 +0100 @@ -25,7 +25,7 @@ \renewcommand*\descriptionlabel[1]{\hspace\labelsep \textbf{#1}\hfil} % this should be the last package used -\usepackage{color} +\usepackage{xcolor} \definecolor{linkcolor}{rgb}{0,0,0.4} \usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor, filecolor=linkcolor,pagecolor=linkcolor,