]> matita.cs.unibo.it Git - helm.git/history - helm/matita/tests
...
[helm.git] / helm / matita / tests /
2005-11-08 Claudio Sacerdoti... Yet another semantics for simplify.
2005-11-08 Claudio Sacerdoti... New syntax for the outtype of a match.
2005-10-25 Claudio Sacerdoti... Parentheses must now be put in patterns like in tactic...
2005-10-25 Enrico Tassifixed -debug
2005-10-25 Stefano Zacchiroliported to new syntactic requirement about terms being...
2005-10-25 Claudio Sacerdoti... t renamed to t' since t was already defined in the...
2005-10-17 Enrico Tassiadded coercions to Prod
2005-10-06 Claudio Sacerdoti... NODB implemented
2005-09-16 Enrico Tassiadded a function to reorder the metasenv.
2005-09-15 Stefano Zacchiroliimproved discriminate test: check if it works on induct...
2005-09-13 Claudio Sacerdoti... useless alias removed
2005-09-13 Claudio Sacerdoti... ...
2005-09-13 Claudio Sacerdoti... ...
2005-09-13 Claudio Sacerdoti... Test fixed.
2005-09-08 Stefano Zacchirolitests changing under a binder
2005-09-08 Stefano Zacchirolicompleted test
2005-09-06 Claudio Sacerdoti... New bug exposed.
2005-09-05 Claudio Sacerdoti... ...
2005-09-05 Enrico Tassisimplify and let-in
2005-08-22 Claudio Sacerdoti... Comment removed.
2005-08-22 Claudio Sacerdoti... Paramodulation bug fixed.
2005-07-29 Claudio Sacerdoti... 0. core_notation.ma splitted into coq.moo and core_nota...
2005-07-28 Claudio Sacerdoti... This test stresses automatic insertion.
2005-07-28 Claudio Sacerdoti... 1. ProofEngineHelpers.locate_in_term, ProofEngineHelper...
2005-07-28 Claudio Sacerdoti... New tactic: unfold.
2005-07-26 Claudio Sacerdoti... "Coq's " prefix added to every interpretation.
2005-07-22 Alberto Griggioadded optional "paramodulation" parameter to auto to...
2005-07-22 Claudio Sacerdoti... Big changes:
2005-07-21 Claudio Sacerdoti... ...
2005-07-19 Claudio Sacerdoti... New naming scheme (by Andrea).
2005-07-19 Claudio Sacerdoti... New naming scheme by Andrea.
2005-07-19 Ferruccio Guidipatched
2005-07-19 Claudio Sacerdoti... Many bugs in the Makefile fixed.
2005-07-19 Ferruccio Guidithe decompose tactic is now working
2005-07-18 Stefano Zacchirolimerged cic_notation with matita: good luck!
2005-07-13 Enrico Tassimatitamake stuff:
2005-07-11 Enrico Tassifix
2005-07-11 Claudio Sacerdoti... Bug fixed: the generated elimination principles used...
2005-07-09 Claudio Sacerdoti... New test suite for generalize.
2005-07-08 Claudio Sacerdoti... Replace is now working again and it is able to match...
2005-07-08 Claudio Sacerdoti... Elim generalized to saturate its argument.
2005-07-08 Claudio Sacerdoti... dead code removed
2005-07-08 Claudio Sacerdoti... Bug fixed: metavariables generated by the saturation...
2005-07-07 Claudio Sacerdoti... No more need for symbolic links: .matita, the configura...
2005-07-07 Ferruccio Guidianother bug of auto
2005-07-07 Enrico Tassiadded test for elim
2005-07-07 Claudio Sacerdoti... matitaclean now removes the .moo file, if existent.
2005-07-07 Claudio Sacerdoti... matita.ma.templ must be symbolically linked
2005-07-06 Enrico Tassisome more tests
2005-07-06 Enrico Tassiadded tests for contructor and clearbody
2005-07-06 Enrico Tassiadded test for change
2005-07-06 Enrico Tassiadded test for assumption
2005-07-06 Enrico Tassiadded script template
2005-07-06 Ferruccio Guidifix please
2005-07-05 Ferruccio Guidiname specifications added for elim_intros, elim_intros_...
2005-07-05 Claudio Sacerdoti... Another "hard" test that used to fail.
2005-07-05 Claudio Sacerdoti... Baseuri changed to move replace into matita.
2005-07-05 Claudio Sacerdoti... re-added $(H) to matitaclean
2005-07-05 Claudio Sacerdoti... baseuri changed to move the test into the matita namespace
2005-07-04 Claudio Sacerdoti... icons added to the list of required symbolic links
2005-07-04 Claudio Sacerdoti... make clean now prints what is being removed
2005-07-04 Enrico Tassimoo do not depend on .depend
2005-07-04 Claudio Sacerdoti... "include" command implemented.
2005-07-01 Enrico Tassimore makefile work
2005-07-01 Claudio Sacerdoti... The tests are now in alphabetical order.
2005-07-01 Claudio Sacerdoti... match.ma removed
2005-07-01 Claudio Sacerdoti... * match.ma removed (it is now splitted in several files...
2005-07-01 Claudio Sacerdoti... ...
2005-07-01 Claudio Sacerdoti... conflicting baseuri
2005-07-01 Enrico Tassifirst snapshot of separate compilation
2005-07-01 Claudio Sacerdoti... An interesting test for replace.
2005-07-01 Claudio Sacerdoti... New syntax for patterns.
2005-07-01 Claudio Sacerdoti... New test.
2005-06-30 Claudio Sacerdoti... ...
2005-06-30 Ferruccio Guidilapply and fwd improved
2005-06-30 Claudio Sacerdoti... Text fixed (due to stricter semantics for naming the...
2005-06-30 Claudio Sacerdoti... 1. rewrite_* and rewrite_back_* merged into one function
2005-06-30 Claudio Sacerdoti... baseuri put back
2005-06-30 Claudio Sacerdoti... ...
2005-06-30 Claudio Sacerdoti... A simpler implementation of inversion that does not...
2005-06-29 Enrico Tassinow baseuri is needed in each file (and its redefinitio...
2005-06-29 Claudio Sacerdoti... Removed a dummy "let ... in" that was there only to...
2005-06-28 Enrico Tassifix
2005-06-28 Ferruccio Guidilapply improved
2005-06-27 Enrico Tassiadded autosave and * (modified feature)
2005-06-27 Claudio Sacerdoti... New syntax of auto: auto [depth = n] [width = m].
2005-06-27 Enrico Tassimore complex
2005-06-25 Ferruccio Guidifirst working (?) version of lapply
2005-06-24 Enrico Tassifix
2005-06-23 Andrea AspertiAdded Z, Zplus and its properties.
2005-06-23 Claudio Sacerdoti... Tactic discriminate activated in matita.
2005-06-23 Claudio Sacerdoti... 1. Tactic generalize ported to patterns and activated...
2005-06-22 Enrico Tassifix
2005-06-17 Enrico Tassiuses new pattern concrete syntax
2005-06-16 Enrico Tassiadded decrease and increase font size fantafeature
2005-06-15 Claudio Sacerdoti... * parsing errors in tests were not detected and the...
2005-06-15 Ferruccio Guidisupport for the new tactics lapply and fwd
2005-06-15 Claudio Sacerdoti... ...
2005-06-15 Claudio Sacerdoti... Big commit and major code clean-up:
2005-06-15 Claudio Sacerdoti... comments syntax changed
next