]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e7271a) | patch
import of a sample for cosimo
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 8 Jul 2009 09:56:26 +0000 (09:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 8 Jul 2009 09:56:26 +0000 (09:56 +0000)
commit60a2463fd555462e159c84a38b62b1b621bb10e6
tree38013601e8055990ccafb9c621f93ff3d50d2038tree | snapshot
parent4e7271a14ed69938803a64a67e8c8bb61ff6d89ecommit | diff
import of a sample for cosimo
helm/software/matita/tests/esempio_oliboni.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.