]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a8e8d5) | patch
A -> B now means "A depends on B" both in backward and forward graphs
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 25 Oct 2001 10:54:43 +0000 (10:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 25 Oct 2001 10:54:43 +0000 (10:54 +0000)
commit536604ccbc718b858891e81bda19439251e3814d
treee66324bc0bf8a858496d714c1620e300eee1b184tree | snapshot
parent2a8e8d506300fde582e9436a94cf87d449497c39commit | diff
A -> B now means "A depends on B" both in backward and forward graphs
helm/style/mk_dep_graph.xsl diff | blob | history
helm/style/mk_meta_and_dep_graph.xsl diff | blob | history
helm/style/mk_meta_graph.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.