Daniele Cono D'Elia edited header.tex  over 8 years ago

Commit id: 6d3209a1a11b73abd9e1d7da54cd22da584f1ecd

deletions | additions      

       

\usepackage{color}  \usepackage{listings}  % short vs long version  \newcommand{\fullver}{}  % clever references  \ifdefined\noauthorea  \usepackage{cleveref}