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

]> matita.cs.unibo.it Git - helm.git/history - matita/dama/reals.ma

2007-07-11	Claudio Sacerdoti...	auto new => autobatch	blob \| commitdiff \| raw
2007-01-03	Claudio Sacerdoti...	Notation is finally fully working everywhere.	blob \| commitdiff \| raw \| diff to current
2006-12-29	Claudio Sacerdoti...	First attempt at using/simulating records with manifest...	blob \| commitdiff \| raw \| diff to current
2006-12-15	Claudio Sacerdoti...	Huge DAMA update:	blob \| commitdiff \| raw \| diff to current
2006-11-06	Enrico Zoli	More work on groups, real numbers and integration algebras.	blob \| commitdiff \| raw \| diff to current
2006-11-05	Claudio Sacerdoti...	Some clean-up here and there in dama (coercions removed...	blob \| commitdiff \| raw \| diff to current
2006-11-05	Claudio Sacerdoti...	Added more typing information to remove a coercion.	blob \| commitdiff \| raw \| diff to current
2006-11-03	Enrico Zoli	Up to absolute value	blob \| commitdiff \| raw \| diff to current
2006-11-03	Enrico Zoli	Up to max (up to a bug).	blob \| commitdiff \| raw \| diff to current
2006-10-31	Enrico Zoli	We begin to play the real game: we have defined real...	blob \| commitdiff \| raw \| diff to current
2006-10-31	Enrico Zoli	Integration_algebras.ma split into 6 different files.	blob \| commitdiff \| raw \| diff to current

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