]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63c6f14) | patch
Added generation of dependency graph for the ocaml modules in matita/
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Sep 2006 09:20:29 +0000 (09:20 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Sep 2006 09:20:29 +0000 (09:20 +0000)
commite9773d6f01666895a51ef2212619bfeafbb97221
tree8157c64b58d053e9e47226fad147a26b37a652e0tree | snapshot
parent63c6f144b383c185c133c5732daf1fc25fc0eeedcommit | diff
Added generation of dependency graph for the ocaml modules in matita/
WARNING (and happyness ...): first Ruby script added to our repository
helm/software/matita/Makefile diff | blob | history
helm/software/matita/dep2dot.rb [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.