coma94/info-mines2012 archive