Tarski 2.0.2
Tal como prometí en la entrada del pasado miércoles, he dedicado una parte sustancial del fin de semana a instalar en el blog la versión renovada del tema Tarski. En realidad, no he podido invertir todo el tiempo que hubiera querido en esta labor, a causa de los innumerables problemas que vengo experimentando en los [...]
