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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 7 Jan 2008 10:22:10 +0000 (10:22 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 7 Jan 2008 10:22:10 +0000 (10:22 +0000)
commit	db068aa35cc47bb881ec810bf3b904c3d7cc9379
tree	a196ec5c076bc0fc05f262f3275debeae91f1373	tree \| snapshot
parent	df666eb58afe0b312a2c4d41683d7ae4828ee8bd	commit \| diff

matitadep sould be ok, outputs warning regarding issues and
uses the right paths to include files

31 files changed:

matita/.depend		diff \| blob \| history
matita/.depend.opt		diff \| blob \| history
matita/dama/Q_is_orded_divisble_group.ma	[new file with mode: 0644]	blob
matita/dama/attic/fields.ma		diff \| blob \| history
matita/dama/attic/integration_algebras.ma		diff \| blob \| history
matita/dama/attic/ordered_fields_ch0.ma		diff \| blob \| history
matita/dama/attic/reals.ma		diff \| blob \| history
matita/dama/attic/rings.ma		diff \| blob \| history
matita/dama/attic/vector_spaces.ma		diff \| blob \| history
matita/dama/classical_pointfree/ordered_sets.ma		diff \| blob \| history
matita/dama/classical_pointfree/ordered_sets2.ma		diff \| blob \| history
matita/dama/classical_pointwise/sets.ma		diff \| blob \| history
matita/dama/classical_pointwise/sigma_algebra.ma		diff \| blob \| history
matita/dama/classical_pointwise/topology.ma		diff \| blob \| history
matita/dama/constructive_connectives.ma		diff \| blob \| history
matita/dama/constructive_higher_order_relations.ma		diff \| blob \| history
matita/dama/constructive_pointfree/lebesgue.ma		diff \| blob \| history
matita/dama/divisible_group.ma		diff \| blob \| history
matita/dama/excess.ma		diff \| blob \| history
matita/dama/group.ma		diff \| blob \| history
matita/dama/lattice.ma		diff \| blob \| history
matita/dama/metric_lattice.ma		diff \| blob \| history
matita/dama/metric_space.ma		diff \| blob \| history
matita/dama/ordered_divisible_group.ma		diff \| blob \| history
matita/dama/ordered_group.ma		diff \| blob \| history
matita/dama/premetric_lattice.ma		diff \| blob \| history
matita/dama/prevalued_lattice.ma		diff \| blob \| history
matita/dama/sandwich.ma		diff \| blob \| history
matita/dama/sequence.ma		diff \| blob \| history
matita/matitac.ml		diff \| blob \| history
matita/matitadep.ml		diff \| blob \| history

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

RSS Atom