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: 9791cd1) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 27 Nov 2007 11:56:08 +0000 (11:56 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 27 Nov 2007 11:56:08 +0000 (11:56 +0000)
commit	a42d4bd78f10ac8fc725c50c193503a3f29b848f
tree	210f884663ed9bb3020288b5285cae218e8ce640	tree \| snapshot
parent	9791cd146bc0b8df953aee7bb8a3df60553b530c	commit \| diff

major reorganization (read cleanup)

18 files changed:

helm/software/matita/dama/attic/fields.ma	[new file with mode: 0644]	blob
helm/software/matita/dama/attic/integration_algebras.ma	[new file with mode: 0644]	blob
helm/software/matita/dama/attic/ordered_fields_ch0.ma	[new file with mode: 0644]	blob
helm/software/matita/dama/attic/reals.ma	[new file with mode: 0644]	blob
helm/software/matita/dama/attic/rings.ma	[new file with mode: 0644]	blob
helm/software/matita/dama/attic/vector_spaces.ma	[new file with mode: 0644]	blob
helm/software/matita/dama/fields.ma	[deleted file]	blob \| history
helm/software/matita/dama/group.ma	[new file with mode: 0644]	blob
helm/software/matita/dama/groups.ma	[deleted file]	blob \| history
helm/software/matita/dama/integration_algebras.ma	[deleted file]	blob \| history
helm/software/matita/dama/metric_space.ma		diff \| blob \| history
helm/software/matita/dama/ordered_fields_ch0.ma	[deleted file]	blob \| history
helm/software/matita/dama/ordered_group.ma	[new file with mode: 0644]	blob
helm/software/matita/dama/ordered_groups.ma	[deleted file]	blob \| history
helm/software/matita/dama/preweighted_lattice.ma		diff \| blob \| history
helm/software/matita/dama/reals.ma	[deleted file]	blob \| history
helm/software/matita/dama/rings.ma	[deleted file]	blob \| history
helm/software/matita/dama/vector_spaces.ma	[deleted file]	blob \| history

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