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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 7 Dec 2012 14:30:36 +0000 (14:30 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 7 Dec 2012 14:30:36 +0000 (14:30 +0000)
commit	716338697e54d7a7e3602aabdecc2a8a639d683e
tree	57eee0afa12972953b73dd255d32e2fbf3f1de2f	tree \| snapshot
parent	e31d9eb44ea0e5dd472e10282a826bdba2126810	commit \| diff

- untranslated sections of "formal_topology" commented to make it compile
- "tutorial" now compiles

28 files changed:

matita/matita/lib/formal_topology/apply_functor.ma		diff \| blob \| history
matita/matita/lib/formal_topology/basic_pairs.ma		diff \| blob \| history
matita/matita/lib/formal_topology/basic_pairs_to_basic_topologies.ma		diff \| blob \| history
matita/matita/lib/formal_topology/basic_pairs_to_o-basic_pairs.ma		diff \| blob \| history
matita/matita/lib/formal_topology/basic_topologies.ma		diff \| blob \| history
matita/matita/lib/formal_topology/basic_topologies_to_o-basic_topologies.ma		diff \| blob \| history
matita/matita/lib/formal_topology/categories.ma		diff \| blob \| history
matita/matita/lib/formal_topology/concrete_spaces.ma		diff \| blob \| history
matita/matita/lib/formal_topology/concrete_spaces_to_o-concrete_spaces.ma		diff \| blob \| history
matita/matita/lib/formal_topology/formal_topologies.ma		diff \| blob \| history
matita/matita/lib/formal_topology/notation.ma		diff \| blob \| history
matita/matita/lib/formal_topology/o-algebra.ma		diff \| blob \| history
matita/matita/lib/formal_topology/o-basic_pairs.ma		diff \| blob \| history
matita/matita/lib/formal_topology/o-basic_pairs_to_o-basic_topologies.ma		diff \| blob \| history
matita/matita/lib/formal_topology/o-basic_topologies.ma		diff \| blob \| history
matita/matita/lib/formal_topology/o-concrete_spaces.ma		diff \| blob \| history
matita/matita/lib/formal_topology/o-formal_topologies.ma		diff \| blob \| history
matita/matita/lib/formal_topology/o-saturations.ma		diff \| blob \| history
matita/matita/lib/formal_topology/r-o-basic_pairs.ma		diff \| blob \| history
matita/matita/lib/formal_topology/relations.ma		diff \| blob \| history
matita/matita/lib/formal_topology/relations_to_o-algebra.ma		diff \| blob \| history
matita/matita/lib/formal_topology/saturations.ma		diff \| blob \| history
matita/matita/lib/formal_topology/saturations_to_o-saturations.ma		diff \| blob \| history
matita/matita/lib/formal_topology/subsets.ma		diff \| blob \| history
matita/matita/lib/tutorial/chapter4.ma		diff \| blob \| history
matita/matita/lib/tutorial/chapter5.ma		diff \| blob \| history
matita/matita/lib/tutorial/chapter6.ma		diff \| blob \| history
matita/matita/lib/tutorial/chapter7.ma		diff \| blob \| history

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

RSS Atom