El pueblo fue conocido como San Antonio de El Paso del Adelantado.