]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/depends
added config.ac to the tarball for debian packages
[helm.git] / helm / software / matita / library / depends
2010-07-07 Enrico Tassimoved formal_topology into library"
2009-04-22 Ferruccio Guidi- transcript: we have now two styles of mma's from...
2009-04-21 Ferruccio Guidi- MatitaMisc: we factorized here the function out_pream...
2009-04-15 Ferruccio Guidi- transcript: bugfix
2009-02-15 Enrico Tassiminor changes to make the library compile after wilmers...
2009-02-13 Wilmer RicciottiAxiomatization of real numbers (work in progress)
2009-01-26 Enrico Tassimaction support added to notation, adopted for = AKA...
2008-12-15 Enrico Tassiuse named types to force some constraints asap
2008-11-20 Enrico Tassi...
2008-11-20 Enrico Tassidama almost ok
2008-11-15 Enrico Tassialmost ready
2008-11-15 Enrico Tassirules fixed
2008-11-06 Enrico Tassinatural deduction support and example split, seems...
2008-10-20 Enrico Tassi...
2008-09-25 Claudio Sacerdoti... ...
2008-09-18 Ferruccio GuidiapplyTransformation: improved error detection
2008-09-08 Enrico Tassi...
2008-09-04 Enrico Tassi...
2008-08-28 Enrico Tassi...
2008-07-23 Enrico Tassiremove bad aliases from toolbox
2008-07-15 Enrico Tassimore notation moved to core notation, unification of...
2008-07-09 Enrico TassiCProp hierarchy fixed:
2008-06-13 Enrico Tassi...
2008-06-06 Claudio Sacerdoti... Even more Q stuff moved around.
2008-06-06 Claudio Sacerdoti... Even more Q stuff classified.
2008-06-06 Claudio Sacerdoti... More Q stuff organized in a coherent way.
2008-06-06 Claudio Sacerdoti... First snapshot at trying to clean up the Q library.
2008-06-06 Claudio Sacerdoti... ...
2008-06-06 Claudio Sacerdoti... sieve.ma now depends only on primes.ma
2008-06-05 Claudio Sacerdoti... Eratosthene's sieve factorized out of nat/bertrand...
2008-06-03 Claudio Sacerdoti... More work on rational numbers with unique representations.
2008-05-27 Enrico TassiCoRN moved in contribs
2008-04-02 Enrico Tassifixed depends after the removal of Fsub
2008-03-27 Wilmer RicciottiUpdated depedencies.
2008-03-23 Enrico TassiFsub moved in contribs
2008-03-22 Enrico Tassifreescale moved under contribs. contribs made relocatable
2008-03-13 Claudio Sacerdoti... New version of freescale:
2008-03-06 Enrico Tassifixed deps
2008-01-21 Claudio Sacerdoti... Old tiny freescale experiment get rid of.
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE