]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed: the small logo was searched in the wrong path.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Sep 2005 08:59:09 +0000 (08:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Sep 2005 08:59:09 +0000 (08:59 +0000)
commitea525d45c3005d239ab964f88afadc98b08fcae9
tree2463a4474700e154c45529798947bc124cb75d57
parentfac7b34e0f5b78a627c45115e7e35addcd9ae278
Bug fixed: the small logo was searched in the wrong path.
helm/matita/matitaMathView.ml