]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a828616) | patch
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Oct 2006 15:30:44 +0000 (15:30 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Oct 2006 15:30:44 +0000 (15:30 +0000)
commitaff6791b3666237a8f95f2eb9d877c1b89b03161
tree685f3bb0968105898d02126772ed22553f7412b2tree | snapshot
parenta828616f9ee55e642b25eece61fda2f67712360fcommit | diff
...
matita/tests/applys.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.