Hasta ahora está reparado en su totalidad el techo del Palacio Nacional, y el del Teatro.