]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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.
2011-11-07 Andrea AspertiNew management of justifications.
2011-11-05 matitawebcommit by user andrea
2011-11-05 Ferruccio Guidi- file names update
2011-11-04 Ferruccio Guidi- lib: one lemma about equality was missing
2011-11-04 Ferruccio Guidi- two discrimination lemmas
2011-11-03 Ferruccio Guidi- contex-free normal forms started
2011-11-03 Andrea Asperti1. we compare the expected branching with the actual...
2011-11-03 Andrea AspertiAt top level, we reindex the local equations for each...
2011-11-02 Claudio Sacerdoti... trans_eq and sym_eq indexing restored. Apparently they...
2011-11-02 Wilmer RicciottiMatitaweb: Added jquery.js (also used in some of the...
2011-11-02 Wilmer RicciottiMatitaweb:
2011-11-02 Andrea AspertiThe proof of append_cons used transitive_eq, not indexed.
2011-11-02 Andrea AspertiDisabled printings.
2011-11-02 Andrea Asperti--Tre the expected branching with the actual one and
2011-10-28 matitawebcommit by user andrea
2011-10-28 Wilmer RicciottiMatitaweb: added layout.js (currently manages resizing...
2011-10-28 Andrea AspertiNew management of resulting subst in deep_eq: used...
2011-10-28 Andrea Asperti-applicative_case has been rewritten and simplified;
2011-10-28 Andrea AspertiSome qed-
2011-10-28 Andrea Aspertisome qed-
2011-10-28 Andrea AspertiNew management of the resulting substitution in deep eq.
2011-10-28 Andrea Asperti-pplicative_case has been rewritten and simplified;
2011-10-27 Wilmer RicciottiMatitaweb: Fixed a bug in matitaweb.js concerning disam...
2011-10-26 Ferruccio Guidirefactoring ...
2011-10-25 Ferruccio Guidi-- some renaming in basic_2
2011-10-25 Ferruccio Guidiold pr2_subst1 (Basic-1) closed!
2011-10-24 Wilmer RicciottiMatitaweb: first attempt at web UI for disambiguation.
2011-10-21 Andrea AspertiNow it should compile :-)
2011-10-21 Andrea AspertiOptimization. Check removed.
2011-10-21 Andrea AspertiDisabled debug.
2011-10-20 Andrea Asperti1. ported to camlp5
2011-10-20 Andrea Aspertitypos
2011-10-20 Andrea AspertiWe order alternatives according to the number of subgoa...
2011-10-20 Andrea AspertiQED takes a boolean parameter governing indexing.
2011-10-20 Andrea AspertiAlternatives are ordered according to the number of...
2011-10-20 Wilmer RicciottiJMeq lifted to work on Type[1].
2011-10-20 Wilmer RicciottiRemoved some unneeded normalizations from the generatio...
2011-10-20 Wilmer RicciottiMatitaweb: added preliminary support for interactive...
2011-10-19 matitawebMatitaweb: added a function MatitaAuthentication.get_us...
2011-10-19 Ferruccio Guidi- the relocation properties of cpr are closed!
2011-10-19 matitawebcommit by user andrea
2011-10-19 matitawebcommit by user andrea
2011-10-19 matitawebcommit by user andrea
2011-10-18 matitawebLocalization of errors.
2011-10-18 Wilmer RicciottiChanges in "destruct" tactic (allowing performance...
2011-10-17 Enrico Tassicompact coercion command: "coercion foo."
2011-10-17 matitawebcommit by user andrea
2011-10-17 matitawebcommit by user andrea
2011-10-17 matitawebcommit by user andrea
2011-10-17 matitawebcommit by user lroversi
2011-10-14 matitawebcommit by user andrea
2011-10-14 matitawebcommit by user andrea
2011-10-14 matitawebcommit by user andrea
2011-10-14 matitawebcommit by user andrea
2011-10-14 matitawebcommit by user andrea
2011-10-14 matitawebMade a copy of basics/list.ma as a base for chapter 3.
2011-10-14 matitawebcommit by user andrea
2011-10-13 matitawebcommit by user enrico
2011-10-13 matitawebcommit by user andrea
next