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