matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 1ed4fe0) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 9 Jul 2010 12:43:33 +0000 (12:43 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 9 Jul 2010 12:43:33 +0000 (12:43 +0000)
commit	5fee26d2afb3a67370c92481bfbfdbd9ebed741e
tree	48689bcc29cefae168cd5204b5ace93ade781b69	tree \| snapshot
parent	1ed4fe0f28d3b0b915387330cd722bfb80fb1063	commit \| diff

more notation

helm/software/matita/library/formal_topology/basic_pairs_to_basic_topologies.ma		diff \| blob \| history
helm/software/matita/library/formal_topology/basic_pairs_to_o-basic_pairs.ma		diff \| blob \| history
helm/software/matita/library/formal_topology/basic_topologies_to_o-basic_topologies.ma		diff \| blob \| history
helm/software/matita/library/formal_topology/categories.ma		diff \| blob \| history
helm/software/matita/library/formal_topology/o-algebra.ma		diff \| blob \| history
helm/software/matita/library/formal_topology/o-basic_pairs.ma		diff \| blob \| history
helm/software/matita/library/formal_topology/o-basic_pairs_to_o-basic_topologies.ma		diff \| blob \| history
helm/software/matita/library/formal_topology/o-basic_topologies.ma		diff \| blob \| history
helm/software/matita/library/formal_topology/relations.ma		diff \| blob \| history
helm/software/matita/library/formal_topology/relations_to_o-algebra.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.