]> matita.cs.unibo.it Git - helm.git/commit
* removed
authorLuca Padovani <luca.padovani@unito.it>
Wed, 2 Apr 2003 09:27:11 +0000 (09:27 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 2 Apr 2003 09:27:11 +0000 (09:27 +0000)
commita3eced7e154a26057a5840b2f38366cae0f1eb03
tree09f88290dca92672d53b5adef420a9c6edcea9f5
parent06de8bf510e07ae27356c550acb185c86298dd7a
* removed
helm/DEVEL/mathml_editor/dictionary-tex.xml [deleted file]