]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de4af03) | patch
added docu comment
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 6 Jul 2005 09:13:20 +0000 (09:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 6 Jul 2005 09:13:20 +0000 (09:13 +0000)
commit1b3aa3daa64f8b68aa08ff1c5458ba828398f897
tree40d76c65a7f4d6014a394d0a7c57f11af3464b31tree | snapshot
parentde4af0369ca42ff29a65a42a1d6cce9a6f7e150ecommit | diff
added docu comment
helm/ocaml/cic_transformations/mpresentation.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.