]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ad1336) | patch
almost there
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Nov 2008 19:42:37 +0000 (19:42 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Nov 2008 19:42:37 +0000 (19:42 +0000)
commitc2fe13e8a63b2b91a5eac3c5e03c0df86310e5ef
tree8dcbc0e082ad593fce179d707e5750d7108272detree | snapshot
parent1ad133620b4d864cfb84cfcabb6dd434ee74d79acommit | diff
almost there
helm/software/matita/contribs/didactic/shannon.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.