]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Improved eat_prods error message (at the cost of passing the 6th argument!)
[helm.git] / helm / software / matita /
2008-04-08 Enrico Tassiadded simplify to avoid ugly proofterm tree | commitdiff
2008-04-03 Enrico Tassiadded ugly test showing many many bugs in the current... tree | commitdiff
2008-04-02 Enrico Tassiremoved dummy rewrite tree | commitdiff
2008-04-02 Enrico Tassiremoved dummy rewrite tree | commitdiff
2008-04-02 Enrico Tassiremoved dummy rewrites tree | commitdiff
2008-04-02 Enrico Tassifixed according to the new rewrite semantics (fails... tree | commitdiff
2008-04-02 Enrico Tassifixed depends after the removal of Fsub tree | commitdiff
2008-03-27 Wilmer RicciottiUpdated depedencies. tree | commitdiff
2008-03-26 Wilmer RicciottiReorganization of list library (step 1) tree | commitdiff
2008-03-25 Enrico Tassifix with m (to be optimized) are rewritten such that... tree | commitdiff
2008-03-25 Enrico Tassivery very interesting hack tree | commitdiff
2008-03-25 Wilmer Ricciottismall update tree | commitdiff
2008-03-25 Enrico Tassiargument of type mcu_type always abstracted first tree | commitdiff
2008-03-23 Enrico TassiFsub moved in contribs tree | commitdiff
2008-03-23 Ferruccio GuidicicNotationPp: fixed letin syntax (now typeless) tree | commitdiff
2008-03-22 Enrico Tassilibrary_auto moved inside contrib, still not ported... tree | commitdiff
2008-03-22 Enrico Tassimoved dama/ and dama_didactic/ in contribs/dama/ tree | commitdiff
2008-03-22 Enrico Tassifreescale moved under contribs. contribs made relocatable tree | commitdiff
2008-03-20 Claudio Sacerdoti... New syntax for auto-related tactics and conclude/obtain. tree | commitdiff
2008-03-20 Claudio Sacerdoti... Script fixed (it did not compile due to a mistake befor... tree | commitdiff
2008-03-20 Ferruccio GuidiBase-2 is not compiling properly and is excluded for now tree | commitdiff
2008-03-20 Enrico Tassichanged auto_tac params type and all derivate tactics... tree | commitdiff
2008-03-20 Enrico Tassinew semantics for 'by t' tree | commitdiff
2008-03-20 Enrico Tassiremoved pointless test tree | commitdiff
2008-03-20 Enrico TassiI believe that auto paramodulation does not try to tree | commitdiff
2008-03-20 Enrico Tassiadded library option to auto tree | commitdiff
2008-03-20 Enrico Tassiletins are no more unfolded, we do that by hand tree | commitdiff
2008-03-20 Enrico Tassiletin are no longer unfolded thus coercions not propaga... tree | commitdiff
2008-03-19 Claudio Sacerdoti... -debug improved tree | commitdiff
2008-03-19 Claudio Sacerdoti... ... tree | commitdiff
2008-03-19 Claudio Sacerdoti... Files committed by Enrico (a mistake, I suppose) removed. tree | commitdiff
2008-03-19 Ferruccio GuidiProcedural : added some missing cases tree | commitdiff
2008-03-18 Ferruccio GuidiLAMBDA-TYPES: level 2 dependences are now correct,... tree | commitdiff
2008-03-18 Ferruccio GuidiProcedural : tentative update to the new letin cic... tree | commitdiff
2008-03-14 Claudio Sacerdoti... Tests enabled again. tree | commitdiff
2008-03-13 Claudio Sacerdoti... New version of freescale: tree | commitdiff
2008-03-12 Claudio Sacerdoti... Problem solved (was: apply needed an argument to avoid... tree | commitdiff
2008-03-12 Andrea AspertiNuova dimostrazione riflessiva di le_to_Bertrand. tree | commitdiff
2008-03-12 Enrico Tassiif -debug is specified do not catch all exceptions tree | commitdiff
2008-03-11 Claudio Sacerdoti... Very experimental commit: the type of the source is... tree | commitdiff
2008-03-10 Enrico Tassifixed wrong dependencies in debian package reported... tree | commitdiff
2008-03-10 Claudio Sacerdoti... Scripts fixed because of: tree | commitdiff
2008-03-10 Claudio Sacerdoti... Tactic reduce got rid of. Use normalize, instead. tree | commitdiff
2008-03-10 Claudio Sacerdoti... Example query fixed. tree | commitdiff
2008-03-09 Claudio Sacerdoti... Scripts fixed. They were broken since the change to... tree | commitdiff
2008-03-09 Ferruccio GuidiLAMBDA-TYPES: some more generation lemmas and some... tree | commitdiff
2008-03-06 Enrico Tassi* please let the library in shape * tree | commitdiff
2008-03-06 Enrico Tassifixed tree | commitdiff
2008-03-06 Enrico Tassifixed deps tree | commitdiff
2008-03-06 Enrico Tassireworked freescale stuff to put \m as a left parameter tree | commitdiff
2008-03-06 Enrico Tassi... tree | commitdiff
2008-03-05 Ferruccio Guidisome corrections and additions tree | commitdiff
2008-03-05 Enrico Tassifrom now on, export MATITA_EXTRACT=true to extract tree | commitdiff
2008-03-04 Ferruccio Guidicomponents/library: dotdothack removed tree | commitdiff
2008-03-04 Claudio Sacerdoti... New syntax for patterns. tree | commitdiff
2008-03-04 Claudio Sacerdoti... prodT ==> prod tree | commitdiff
2008-03-04 Claudio Sacerdoti... A) New version. tree | commitdiff
2008-02-29 Ferruccio Guidiwe added the classic substitution function tree | commitdiff
2008-02-27 Wilmer Ricciottithe proof of bertrand's conjecture is now complete tree | commitdiff
2008-02-26 Ferruccio Guidiadded MATITAOPTIONS -onepass as for LAMBDA-TYPES tree | commitdiff
2008-02-26 Ferruccio GuidiLAMBDA-TYPES: added wf3 (legal context predicate); tree | commitdiff
2008-02-24 Ferruccio Guidi$(H) added :) tree | commitdiff
2008-02-24 Ferruccio GuidiLAMBDA-TYPES: dependences calculation improved tree | commitdiff
2008-02-23 Ferruccio GuidiLAMBDA-TYPES: tree | commitdiff
2008-02-22 Ferruccio Guidi- added some options to matitadep: -stdout and -exclude tree | commitdiff
2008-02-22 Wilmer Ricciottisieve of erathostene (proof of soundness almost done) tree | commitdiff
2008-02-21 Ferruccio Guidisvn:ignores fixed tree | commitdiff
2008-02-20 Ferruccio Guidi-onepass option removed from Makefile to comile Base... tree | commitdiff
2008-02-20 Ferruccio GuidiLambdaDelta-1 regenerated as a subdevel ov LAMBDA-TYPES tree | commitdiff
2008-02-19 Ferruccio Guididependences needed a fix :) tree | commitdiff
2008-02-19 Ferruccio Guidiwe are moving the devel root one dir level up tree | commitdiff
2008-02-19 Ferruccio Guidinow inline "file.ma" is allowed. tree | commitdiff
2008-02-19 Andrea AspertiAdded o.ma (some results about the magnitude of functio... tree | commitdiff
2008-02-18 Andrea AspertiComplete proof of Bertrand for n >= 256. tree | commitdiff
2008-02-14 Andrea AspertiPrima versione di bertrand. Tanti cambiamenti qua e la. tree | commitdiff
2008-02-13 Ferruccio Guidibaseuris removed from files tree | commitdiff
2008-02-13 Ferruccio Guidifixed dependences tree | commitdiff
2008-02-13 Ferruccio Guidirenaming tree | commitdiff
2008-02-13 Ferruccio Guidirenaming tree | commitdiff
2008-02-12 Ferruccio Guidirenaming tree | commitdiff
2008-02-12 Ferruccio Guidiregeneration with new results tree | commitdiff
2008-02-12 Enrico Tassifixed path for matitadep tree | commitdiff
2008-02-12 Enrico Tassifixed make dist tree | commitdiff
2008-02-12 Enrico Tassibetter error message in case inclusion failed tree | commitdiff
2008-02-12 Enrico Tassiallow to use "../foo/bar.ma" as a path for the include... tree | commitdiff
2008-02-08 Andrea Aspertiprogress. tree | commitdiff
2008-02-08 Claudio Sacerdoti... A formalization of modified realisability with truth... tree | commitdiff
2008-02-08 Claudio Sacerdoti... prodT merged with prod tree | commitdiff
2008-02-07 Claudio Sacerdoti... ProdT was a perfect copy of Prod. Removed. tree | commitdiff
2008-02-07 Andrea AspertiResults about Chebyshev teta function. tree | commitdiff
2008-02-05 Andrea AspertiSome more theorems. tree | commitdiff
2008-02-05 Wilmer Ricciottilower bound for neper's constant tree | commitdiff
2008-02-04 Enrico Tassisad snapshot tree | commitdiff
2008-02-04 Enrico Tassisnapshot tree | commitdiff
2008-02-04 Enrico Tassisnapshot tree | commitdiff
2008-02-04 Andrea AspertiImproved approximations for A and prim. tree | commitdiff
2008-02-04 Andrea AspertiSome improvement. tree | commitdiff
2008-02-01 Enrico Tassivery bad bug found, asert false in cicReduction when... tree | commitdiff
2008-01-31 Wilmer RicciottiSquare root added. tree | commitdiff
2008-01-31 Enrico Tassisnapshot tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.