(...) c. 1850 - instalação de um mercado de hortaliças (inicialmente provisório) no lado N.; 1880 - o local recebe a designação oficial de Campo dos Mártires da Pátria; 1891 - demolição da praça de touros; c. 1895 - início do ajardinamento com a feição atual.
