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: 3cf6181) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 29 Jun 2010 12:07:37 +0000 (12:07 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 29 Jun 2010 12:07:37 +0000 (12:07 +0000)
commit	7c4bb1d1baed259e4301d4cf0ecca7a0e3885d92
tree	dd3c5916ff1b0d4bcfe156b86c0df00b5a8323d1	tree \| snapshot
parent	3cf6181bded05eb63140d1b2ba4f2f5791a73b48	commit \| diff

notation made half decent

17 files changed:

helm/software/matita/contribs/formal_topology/overlap/apply_functor.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/basic_pairs.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/basic_topologies.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/categories.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/concrete_spaces_to_o-concrete_spaces.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/depends		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/formal_topologies.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/o-basic_topologies.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/o-concrete_spaces.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/o-formal_topologies.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/r-o-basic_pairs.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/relations.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/relations_to_o-algebra.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/saturations.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/saturations_to_o-saturations.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/overlap/subsets.ma		diff \| blob \| history

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