]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f75a636) | patch
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
treea48f890cb0a5c811ac2d16b891087fc94b14d5e2tree | snapshot
parentf75a636a0f3d548bcf485df9b51ac72ed4759c97commit | diff
Also create the graphviz graph.
helm/software/matita/library/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.