matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/arithmetics/binomial.ma

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/arithmetics/binomial.ma

2014-03-07	Andrea Asperti	Minor changes to make the script more robust to strateg...	blob \| commitdiff \| raw
2013-01-03	Andrea Asperti	Chebishev ported	blob \| commitdiff \| raw \| diff to current
2012-12-18	Andrea Asperti	changes	blob \| commitdiff \| raw \| diff to current
2012-12-17	Andrea Asperti	restructuring	blob \| commitdiff \| raw \| diff to current
2011-11-21	Claudio Sacerdoti...	{pattern} => in pattern;	blob \| commitdiff \| raw \| diff to current
2011-11-18	Claudio Sacerdoti...	* Almost ready for release 0.99.1.	blob \| commitdiff \| raw \| diff to current
2011-11-16	Claudio Sacerdoti...	Non working parts of the library commented out.	blob \| commitdiff \| raw \| diff to current
2010-12-23	Andrea Asperti	progress	blob \| commitdiff \| raw \| diff to current
2010-12-16	Andrea Asperti	New version of the library. Several files still do...	blob \| commitdiff \| raw \| diff to current

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