matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/depends

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/depends

[helm.git] / helm / software / matita / library / depends

2008-07-09	Enrico Tassi	CProp hierarchy fixed:	blob \| commitdiff \| raw
2008-06-13	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-06-06	Claudio Sacerdoti...	Even more Q stuff moved around.	blob \| commitdiff \| raw \| diff to current
2008-06-06	Claudio Sacerdoti...	Even more Q stuff classified.	blob \| commitdiff \| raw \| diff to current
2008-06-06	Claudio Sacerdoti...	More Q stuff organized in a coherent way.	blob \| commitdiff \| raw \| diff to current
2008-06-06	Claudio Sacerdoti...	First snapshot at trying to clean up the Q library.	blob \| commitdiff \| raw \| diff to current
2008-06-06	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2008-06-06	Claudio Sacerdoti...	sieve.ma now depends only on primes.ma	blob \| commitdiff \| raw \| diff to current
2008-06-05	Claudio Sacerdoti...	Eratosthene's sieve factorized out of nat/bertrand...	blob \| commitdiff \| raw \| diff to current
2008-06-03	Claudio Sacerdoti...	More work on rational numbers with unique representations.	blob \| commitdiff \| raw \| diff to current
2008-05-27	Enrico Tassi	CoRN moved in contribs	blob \| commitdiff \| raw \| diff to current
2008-04-02	Enrico Tassi	fixed depends after the removal of Fsub	blob \| commitdiff \| raw \| diff to current
2008-03-27	Wilmer Ricciotti	Updated depedencies.	blob \| commitdiff \| raw \| diff to current
2008-03-23	Enrico Tassi	Fsub moved in contribs	blob \| commitdiff \| raw \| diff to current
2008-03-22	Enrico Tassi	freescale moved under contribs. contribs made relocatable	blob \| commitdiff \| raw \| diff to current
2008-03-13	Claudio Sacerdoti...	New version of freescale:	blob \| commitdiff \| raw \| diff to current
2008-03-06	Enrico Tassi	fixed deps	blob \| commitdiff \| raw \| diff to current
2008-01-21	Claudio Sacerdoti...	Old tiny freescale experiment get rid of.	blob \| commitdiff \| raw \| diff to current
2008-01-10	Enrico Tassi	BIG FAT WARNING: DEVELOPMENTS DIE HERE	blob \| commitdiff \| raw \| diff to current

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

RSS Atom