]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 78e3984) | patch
- enable header to output graphs attributes and graph-wide node and edge
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Jul 2006 17:29:44 +0000 (17:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Jul 2006 17:29:44 +0000 (17:29 +0000)
commit22df969cb0629a8d6ea09534386279807ff02f1c
tree1d6f039495520f674c7a53e5e6ae2c9628f269f7tree | snapshot
parent78e39847d4e846421ccb10cda72f1b690550deb1commit | diff
- enable header to output graphs attributes and graph-wide node and edge
  attributes
- quote nodes only when needed
helm/software/components/extlib/graphvizPp.ml diff | blob | history
helm/software/components/extlib/graphvizPp.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.