]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ec8ad1) | patch
...
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 20 Oct 2009 12:53:09 +0000 (12:53 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 20 Oct 2009 12:53:09 +0000 (12:53 +0000)
commitea5d9548f89f6e9570c6c37be2457bc5e1c59740
treee8043236147234a6640aed635cb43d654cf37cbdtree | snapshot
parent6ec8ad120e5b2dd2f054cbdf83845453a7be7bcccommit | diff
...
helm/software/matita/tests/destruct_bb.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.