The current name (since 1826) honors Independence War hero José Mariano Jiménez. It was given city status in 1898.