]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita
letins are no more unfolded, we do that by hand
[helm.git] / helm / software / matita /
2008-03-20 Enrico Tassiletins are no more unfolded, we do that by hand
2008-03-20 Enrico Tassiletin are no longer unfolded thus coercions not propaga...
2008-03-19 Claudio Sacerdoti... -debug improved
2008-03-19 Claudio Sacerdoti... ...
2008-03-19 Claudio Sacerdoti... Files committed by Enrico (a mistake, I suppose) removed.
2008-03-19 Ferruccio GuidiProcedural : added some missing cases
2008-03-18 Ferruccio GuidiLAMBDA-TYPES: level 2 dependences are now correct,...
2008-03-18 Ferruccio GuidiProcedural : tentative update to the new letin cic...
2008-03-14 Claudio Sacerdoti... Tests enabled again.
2008-03-13 Claudio Sacerdoti... New version of freescale:
2008-03-12 Claudio Sacerdoti... Problem solved (was: apply needed an argument to avoid...
2008-03-12 Andrea AspertiNuova dimostrazione riflessiva di le_to_Bertrand.
2008-03-12 Enrico Tassiif -debug is specified do not catch all exceptions
2008-03-11 Claudio Sacerdoti... Very experimental commit: the type of the source is...
2008-03-10 Enrico Tassifixed wrong dependencies in debian package reported...
2008-03-10 Claudio Sacerdoti... Scripts fixed because of:
2008-03-10 Claudio Sacerdoti... Tactic reduce got rid of. Use normalize, instead.
2008-03-10 Claudio Sacerdoti... Example query fixed.
2008-03-09 Claudio Sacerdoti... Scripts fixed. They were broken since the change to...
2008-03-09 Ferruccio GuidiLAMBDA-TYPES: some more generation lemmas and some...
2008-03-06 Enrico Tassi* please let the library in shape *
2008-03-06 Enrico Tassifixed
2008-03-06 Enrico Tassifixed deps
2008-03-06 Enrico Tassireworked freescale stuff to put \m as a left parameter
2008-03-06 Enrico Tassi...
2008-03-05 Ferruccio Guidisome corrections and additions
2008-03-05 Enrico Tassifrom now on, export MATITA_EXTRACT=true to extract
2008-03-04 Ferruccio Guidicomponents/library: dotdothack removed
2008-03-04 Claudio Sacerdoti... New syntax for patterns.
2008-03-04 Claudio Sacerdoti... prodT ==> prod
2008-03-04 Claudio Sacerdoti... A) New version.
2008-02-29 Ferruccio Guidiwe added the classic substitution function
2008-02-27 Wilmer Ricciottithe proof of bertrand's conjecture is now complete
2008-02-26 Ferruccio Guidiadded MATITAOPTIONS -onepass as for LAMBDA-TYPES
2008-02-26 Ferruccio GuidiLAMBDA-TYPES: added wf3 (legal context predicate);
2008-02-24 Ferruccio Guidi$(H) added :)
2008-02-24 Ferruccio GuidiLAMBDA-TYPES: dependences calculation improved
2008-02-23 Ferruccio GuidiLAMBDA-TYPES:
2008-02-22 Ferruccio Guidi- added some options to matitadep: -stdout and -exclude
2008-02-22 Wilmer Ricciottisieve of erathostene (proof of soundness almost done)
2008-02-21 Ferruccio Guidisvn:ignores fixed
2008-02-20 Ferruccio Guidi-onepass option removed from Makefile to comile Base...
2008-02-20 Ferruccio GuidiLambdaDelta-1 regenerated as a subdevel ov LAMBDA-TYPES
2008-02-19 Ferruccio Guididependences needed a fix :)
2008-02-19 Ferruccio Guidiwe are moving the devel root one dir level up
2008-02-19 Ferruccio Guidinow inline "file.ma" is allowed.
2008-02-19 Andrea AspertiAdded o.ma (some results about the magnitude of functio...
2008-02-18 Andrea AspertiComplete proof of Bertrand for n >= 256.
2008-02-14 Andrea AspertiPrima versione di bertrand. Tanti cambiamenti qua e la.
2008-02-13 Ferruccio Guidibaseuris removed from files
2008-02-13 Ferruccio Guidifixed dependences
2008-02-13 Ferruccio Guidirenaming
2008-02-13 Ferruccio Guidirenaming
2008-02-12 Ferruccio Guidirenaming
2008-02-12 Ferruccio Guidiregeneration with new results
2008-02-12 Enrico Tassifixed path for matitadep
2008-02-12 Enrico Tassifixed make dist
2008-02-12 Enrico Tassibetter error message in case inclusion failed
2008-02-12 Enrico Tassiallow to use "../foo/bar.ma" as a path for the include...
2008-02-08 Andrea Aspertiprogress.
2008-02-08 Claudio Sacerdoti... A formalization of modified realisability with truth...
2008-02-08 Claudio Sacerdoti... prodT merged with prod
2008-02-07 Claudio Sacerdoti... ProdT was a perfect copy of Prod. Removed.
2008-02-07 Andrea AspertiResults about Chebyshev teta function.
2008-02-05 Andrea AspertiSome more theorems.
2008-02-05 Wilmer Ricciottilower bound for neper's constant
2008-02-04 Enrico Tassisad snapshot
2008-02-04 Enrico Tassisnapshot
2008-02-04 Enrico Tassisnapshot
2008-02-04 Andrea AspertiImproved approximations for A and prim.
2008-02-04 Andrea AspertiSome improvement.
2008-02-01 Enrico Tassivery bad bug found, asert false in cicReduction when...
2008-01-31 Wilmer RicciottiSquare root added.
2008-01-31 Enrico Tassisnapshot
2008-01-30 Andrea AspertiImproved approximations
2008-01-29 Andrea AspertiNew approximtions.
2008-01-24 Enrico Tassi...
2008-01-23 Enrico Tassisnapshot with more duality, almost where we left withou...
2008-01-22 Wilmer RicciottiBertrand's conjecture (weak), some work in progress
2008-01-21 Enrico Tassisnapshot
2008-01-21 Claudio Sacerdoti... Matitac now accepts multiple targets :-) (but only...
2008-01-21 Claudio Sacerdoti... Hack for code extraction re-linked, but disactivated.
2008-01-21 Claudio Sacerdoti... Old tiny freescale experiment get rid of.
2008-01-21 Claudio Sacerdoti... Typo fixed.
2008-01-21 Enrico Tassisnopshot before isabellization
2008-01-16 Enrico Tassisnapshot
2008-01-16 Enrico Tassi3.27 ok
2008-01-16 Enrico Tassiyes! the lattice_(#) -> prelattice(<) -> lattice(<...
2008-01-15 Wilmer Ricciottiupdate: upper bound for prim
2008-01-14 Enrico Tassimore lemmas, til 3.26
2008-01-14 Enrico Tassinew deps
2008-01-14 Enrico Tassifirst lemma
2008-01-14 Enrico Tassifixed a pulback and proved 3.17
2008-01-14 Enrico Tassiuser time is now printed correctly
2008-01-14 Enrico Tassifixed uris
2008-01-14 Wilmer RicciottiChebyshev's upper bound on prim
2008-01-11 Enrico Tassiremoved path for contribs
2008-01-11 Enrico TassiMake does not even try to build files that would be...
2008-01-11 Enrico TassiI'll talk again with ferruccio, for the moment this...
2008-01-11 Enrico Tassianother fix to make it more resistant
next