]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2d2783) | patch
The logo was searched in the wrong directory.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Sep 2005 11:47:49 +0000 (11:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Sep 2005 11:47:49 +0000 (11:47 +0000)
commit517d7f0de0881a651d5b2f5adcc4063fe6332312
tree2ece765460eb1a321d0c8f5adac7f15c64a12240tree | snapshot
parenta2d2783d78eadbaec5f43252d420018667a3ddf8commit | diff
The logo was searched in the wrong directory.
helm/matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.