]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2dee481) | patch
formal topologies
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 24 Nov 2008 16:19:54 +0000 (16:19 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 24 Nov 2008 16:19:54 +0000 (16:19 +0000)
commit467648250620f63c4c6d1338167dc46ccbb92051
treeccee1d970d97f3914bfa36ded869e82be50f5653tree | snapshot
parent2dee4815ff382919e3eeb8868a579c75648a4240commit | diff
formal topologies
helm/software/matita/contribs/igft/Makefile [new file with mode: 0644] blob
helm/software/matita/contribs/igft/depends [new file with mode: 0644] blob
helm/software/matita/contribs/igft/igft.ma [new file with mode: 0644] blob
helm/software/matita/contribs/igft/root [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.