]> matita.cs.unibo.it Git - helm.git/commit
Also create the graphviz graph.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 23 Aug 2008 19:11:15 +0000 (19:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 23 Aug 2008 19:11:15 +0000 (19:11 +0000)
commit1a28cedd1ef1a9ef608dce25b058c6e2e82c34c3
treea48f890cb0a5c811ac2d16b891087fc94b14d5e2
parentf75a636a0f3d548bcf485df9b51ac72ed4759c97
Also create the graphviz graph.
helm/software/matita/library/Makefile