]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1582072) | patch
added comments
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 2 Feb 2004 16:10:49 +0000 (16:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 2 Feb 2004 16:10:49 +0000 (16:10 +0000)
commit0fd7e4864dbcd0f3e04ed71bb654ff616b7e4a79
tree6f07aae12f2a1ee4e6db4dde01227d221ed54c04tree | snapshot
parent1582072f9fce52a7f0bfabdff927744fe3f9ecbfcommit | diff
added comments
helm/ocaml/cic/cic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.