\usepackage{listings}
\usepackage[latin9]{inputenc}
\usepackage{xspace}
\usepackage{algorithmic}
\usepackage{algorithm}
\usepackage{bm}
%\usepackage{color}
%GATHER{preamble.tex}
%GATHER{overview.html}
\renewcommand{\refdefined}[1]{ \expandafter\ifx\csname
r@#1\endcsname\relax \relax\else {$($see \ref{#1}, page
\pageref{#1}$)$ \xspace}\fi}
