]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29965ec) | 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)
commit92a345e67066fc5a039a87b0fb07caa838103780
tree5ed806fad465e56415276c5326eade3453bce997tree | snapshot
parent29965ec92dc37d77ff5a6e82486cf558370ace45commit | diff
Added generation of dependency graph for the ocaml modules in matita/
WARNING (and happyness ...): first Ruby script added to our repository
matita/Makefile diff | blob | history
matita/dep2dot.rb [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.