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: 592b7d8) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 2 Mar 2009 23:33:21 +0000 (23:33 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 2 Mar 2009 23:33:21 +0000 (23:33 +0000)
commit	8df31f2c696c408e888fb8b94478799b04771f15
tree	03d49d9dfe5ff1c44dfc300b507da624d5d17ad6	tree \| snapshot
parent	592b7d81b57ec66e0ee007de336e249b07ae0258	commit \| diff

Old algorithm moved to old to leave place to the new one.

helm/software/matita/contribs/formal_topology/bin/Makefile	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/bin/formal_topology.ma	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/bin/old/Makefile	[new file with mode: 0644]	blob
helm/software/matita/contribs/formal_topology/bin/old/formal_topology.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/formal_topology/bin/old/theory_explorer.ml	[new file with mode: 0644]	blob
helm/software/matita/contribs/formal_topology/bin/old/theory_explorer_do_not_trust_auto.ml	[new file with mode: 0644]	blob
helm/software/matita/contribs/formal_topology/bin/theory_explorer.ml	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/bin/theory_explorer_do_not_trust_auto.ml	[deleted file]	blob \| history

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