]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 758dbd7) | patch
improved some comments
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 12 Aug 2005 06:48:20 +0000 (06:48 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 12 Aug 2005 06:48:20 +0000 (06:48 +0000)
commit33c27a9941fb0ba8be59e041140aa873b4c4d700
tree0d9fe788e33ba8f8bbf061d441c297831424d56btree | snapshot
parent758dbd74dccfb2491b59e4267600caf1d485e77acommit | diff
improved some comments
helm/ocaml/cic/cic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.