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

2009-04-21	Ferruccio Guidi	- MatitaMisc: we factorized here the function out_pream...	blob \| commitdiff \| raw
2009-04-15	Ferruccio Guidi	- transcript: bugfix	blob \| commitdiff \| raw \| diff to current
2009-02-15	Enrico Tassi	minor changes to make the library compile after wilmers...	blob \| commitdiff \| raw \| diff to current
2009-02-13	Wilmer Ricciotti	Axiomatization of real numbers (work in progress)	blob \| commitdiff \| raw \| diff to current
2009-01-26	Enrico Tassi	maction support added to notation, adopted for = AKA...	blob \| commitdiff \| raw \| diff to current
2008-12-15	Enrico Tassi	use named types to force some constraints asap	blob \| commitdiff \| raw \| diff to current
2008-11-20	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-11-20	Enrico Tassi	dama almost ok	blob \| commitdiff \| raw \| diff to current
2008-11-15	Enrico Tassi	almost ready	blob \| commitdiff \| raw \| diff to current
2008-11-15	Enrico Tassi	rules fixed	blob \| commitdiff \| raw \| diff to current
2008-11-06	Enrico Tassi	natural deduction support and example split, seems...	blob \| commitdiff \| raw \| diff to current
2008-10-20	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-09-25	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2008-09-18	Ferruccio Guidi	applyTransformation: improved error detection	blob \| commitdiff \| raw \| diff to current
2008-09-08	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-09-04	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-08-28	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-07-23	Enrico Tassi	remove bad aliases from toolbox	blob \| commitdiff \| raw \| diff to current
2008-07-15	Enrico Tassi	more notation moved to core notation, unification of...	blob \| commitdiff \| raw \| diff to current
2008-07-09	Enrico Tassi	CProp hierarchy fixed:	blob \| commitdiff \| raw \| diff to current
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