]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c61b213) | patch
added a TODO comment
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 Apr 2004 20:45:16 +0000 (20:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 Apr 2004 20:45:16 +0000 (20:45 +0000)
commiteb8dc961c7f9dc2e76a1eb29e2fcf94304011566
treeca898cf8f5f154f1160ca2f835d518069f4ef95etree | snapshot
parentc61b21301bd14231cdd9d18337a2e27fb9b65d46commit | diff
added a TODO comment
helm/ocaml/cic_transformations/misc.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.