Sirvió temporalmente como capital de la República de Texas en 1836.