]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d429195) | patch
added attributes re-factoring item
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 28 Jul 2005 13:21:03 +0000 (13:21 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 28 Jul 2005 13:21:03 +0000 (13:21 +0000)
commit3224a2614b5734dd9c32e17049253a9427507c4f
treeed071ec242a160fe5a66286b8a5a509d7b49a621tree | snapshot
parentd429195565f96b9d70e7d798e2f5c54655c7fc87commit | diff
added attributes re-factoring item
helm/ocaml/cic_notation/TODO diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.