]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2011-12-12 matitawebcommit by user andrea
2011-12-12 matitawebcommit by user andrea
2011-12-12 Ferruccio Guidinat library reorganized ....
2011-12-12 Andrea AspertiGeneralization to any alphabet. We do not need a finite
2011-12-11 Ferruccio Guidi- slicing relation for the global environment defined...
2011-12-09 Andrea Aspertilist.ma moved inside lists.
2011-12-09 Andrea Asperticlosing more axioms
2011-12-08 Ferruccio Guidiupdating the information on lambda_delta
2011-12-08 Ferruccio GuidiMaietty suggested to change a paragraph on the devel...
2011-12-08 Ferruccio GuidiMaietti suggested to replace a paragraph about the...
2011-12-07 Andrea AspertiClosing some axioms...
2011-12-07 Andrea Asperti\vee notation for boolean or
2011-12-06 Ferruccio Guidinew files started ...
2011-12-06 Ferruccio Guidiother addition to the standard library removed
2011-12-06 Ferruccio Guidiwe added a definition and a couple of lemmas
2011-12-06 Ferruccio Guidi- support for atomic arities and candidates of reducibi...
2011-12-06 Wilmer RicciottiGrammar change: let corecs can take no arguments (and...
2011-12-06 Wilmer RicciottiFixes a bug that overwrited the index of the recursive...
2011-12-06 Andrea AspertiListb contains some boolean functions over lists.
2011-12-06 Wilmer RicciottiMatitaweb:
2011-12-06 Andrea Aspertinaive sets (A-> Prop)
2011-12-05 Andrea AspertiMore properties of iff
2011-12-05 Andrea AspertiDecidability of equality (draft)
2011-11-26 Ferruccio Guidicomponent "reducibility" updated to new syntax!
2011-11-26 Ferruccio Guidicomponent "unfold" updated to new syntax ...
2011-11-26 Ferruccio Guidicomponent "substitution" updated to new syntax ...
2011-11-26 Ferruccio Guidi- "grammar" component updated to new syntax ...
2011-11-25 Ferruccio GuidiGround_2 ported to new syntax ...
2011-11-25 Ferruccio Guidibugfix in clearing the replaced variable: a relocation...
2011-11-24 Ferruccio GuidiDestruct: we warn about the substituted variable to...
2011-11-24 Ferruccio Guidi- now destruct tries to clear the replaced variables...
2011-11-24 Enrico Tassifixed DESTDIR
2011-11-24 Enrico Tassifixed DESTDIR
2011-11-22 Claudio Sacerdoti... Changes to disambiguation:
2011-11-21 Ferruccio GuidiBasic_2 file names update
2011-11-21 Claudio Sacerdoti... Syntax change: change where what => change what where.
2011-11-21 Andrea Aspertiregular expressions
2011-11-21 Andrea AspertiFiltering all equations that cannot be embedded (contai...
2011-11-21 Andrea AspertiPassing the correct subst a metasenv when idexing local...
2011-11-21 Andrea AspertiPassing the right subst and metasenv when indexing...
2011-11-21 Andrea AspertiAdded a test for paramodulation filtering terms with...
2011-11-21 Andrea AspertiMore debugging info
2011-11-21 Andrea AspertiAssert false removed (in line with the variable case).
2011-11-21 Claudio Sacerdoti... {pattern} => in pattern;
2011-11-21 Claudio Sacerdoti... {pattern} => in pattern;
2011-11-21 Andrea AspertiTypo in comment
2011-11-18 Enrico Tassihints
2011-11-18 Enrico Tassicoercions
2011-11-18 Wilmer RicciottiSolves a bug that caused the auto statistics to refer...
2011-11-18 Wilmer RicciottiAdded help for discriminator and inverter.
2011-11-18 Enrico Tassishort notation for "coercion"
2011-11-18 Claudio Sacerdoti... ...
2011-11-18 Claudio Sacerdoti... ...
2011-11-18 Enrico Tassiminor Makefile fixes for the release
2011-11-18 Claudio Sacerdoti... Auto parameters documented for 0.99.1.
2011-11-18 Claudio Sacerdoti... No longer used parameters of auto removed.
2011-11-18 Claudio Sacerdoti... The macro /by _/ now expands again to something parsable.
2011-11-18 Claudio Sacerdoti... /by {}/ ==> /by/
2011-11-18 Claudio Sacerdoti... For release 0.99.1.
2011-11-18 Claudio Sacerdoti... * Almost ready for release 0.99.1.
2011-11-18 Ferruccio Guidisupport for candidates of reducibility started ...
2011-11-18 Claudio Sacerdoti... intros macro fixed
2011-11-17 Enrico Tassicollapse applications with a Match as head while indexing
2011-11-17 Enrico Tassicollapse applications with a Match as head while indexing
2011-11-17 Claudio Sacerdoti... Towards 0.95.1.
2011-11-17 Claudio Sacerdoti... Towards the 0.95.1 release.
2011-11-17 Claudio Sacerdoti... In preparation of 0.95.1 release.
2011-11-16 Ferruccio Guidi- lambda_delta: context-free weak head normal forms...
2011-11-16 Claudio Sacerdoti... Non working parts of the library commented out.
2011-11-16 Claudio Sacerdoti... Never ported to new syntax.
2011-11-16 Andrea Aspertiinversion replaced by elim (???)
2011-11-16 Ferruccio Guidisupport for weak head normal forms started ...
2011-11-16 matitawebcommit by user andrea
2011-11-16 matitawebcommit by user andrea
2011-11-16 matitawebcommit by user andrea
2011-11-16 matitawebcommit by user andrea
2011-11-15 matitawebFixes a bug in NnAuto: printing the statistics triggere...
2011-11-15 matitawebcommit by user andrea
2011-11-15 matitawebMatitaweb: Fixed typo which caused the compilation...
2011-11-15 Wilmer RicciottiMatitaweb: goto bottom can now be undone step by step...
2011-11-15 Andrea Aspertinon-facts local candidates must be applied too in prese...
2011-11-15 Andrea Aspertinon-facts local candidates must be applied too in prese...
2011-11-14 Ferruccio Guidifile names and description update
2011-11-14 Ferruccio Guidi- we proved that context-free reduction admits no one...
2011-11-14 Wilmer RicciottiBug fix in inversion:
2011-11-14 Andrea AspertiAssert false is no longer true due to tooflex filtering.
2011-11-14 Wilmer RicciottiAdded dependent inversion (default case for jmeq)
2011-11-14 Andrea AspertiToo flexible terms are pruned.
2011-11-11 matitawebcommit by user utente1
2011-11-11 matitawebcommit by user andrea
2011-11-09 matitawebMatitaweb: fixes compilation errors and minor graphical...
2011-11-09 Wilmer RicciottiMatitaweb:
2011-11-09 matitawebcommit by user andrea
2011-11-09 matitawebcommit by user andrea
2011-11-09 matitawebcommit by user andrea
2011-11-08 matitawebcommit by user andrea
2011-11-07 matitawebcommit by user andrea
2011-11-07 matitawebcommit by user andrea
2011-11-07 matitawebcommit by user andrea
2011-11-07 Andrea AspertiRemoved some dead code.
next