]> matita.cs.unibo.it Git - helm.git/commit - helm/matita/matitaMathView.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fac7b34) | patch
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
tree2463a4474700e154c45529798947bc124cb75d57tree | snapshot
parentfac7b34e0f5b78a627c45115e7e35addcd9ae278commit | diff
Bug fixed: the small logo was searched in the wrong path.
helm/matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.