matita.cs.unibo.it Git - helm.git/history - helm/matita/tests/rewrite.ma

]> matita.cs.unibo.it Git - helm.git/history - helm/matita/tests/rewrite.ma

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / matita / tests / rewrite.ma

2005-11-17	Claudio Sacerdoti...	New test for parallel rewriting in the hypotheses and...	blob \| commitdiff \| raw
2005-11-17	Claudio Sacerdoti...	First draft implementation of rewriting in an hypothesis.	blob \| commitdiff \| raw \| diff to current
2005-07-29	Claudio Sacerdoti...	0. core_notation.ma splitted into coq.moo and core_nota...	blob \| commitdiff \| raw \| diff to current
2005-07-26	Claudio Sacerdoti...	"Coq's " prefix added to every interpretation.	blob \| commitdiff \| raw \| diff to current
2005-07-08	Claudio Sacerdoti...	Bug fixed: metavariables generated by the saturation...	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	first snapshot of separate compilation	blob \| commitdiff \| raw \| diff to current
2005-06-30	Claudio Sacerdoti...	Text fixed (due to stricter semantics for naming the...	blob \| commitdiff \| raw \| diff to current
2005-06-30	Claudio Sacerdoti...	1. rewrite_* and rewrite_back_* merged into one function	blob \| commitdiff \| raw \| diff to current
2005-06-29	Enrico Tassi	now baseuri is needed in each file (and its redefinitio...	blob \| commitdiff \| raw \| diff to current
2005-06-27	Enrico Tassi	added autosave and * (modified feature)	blob \| commitdiff \| raw \| diff to current
2005-06-27	Enrico Tassi	more complex	blob \| commitdiff \| raw \| diff to current
2005-06-24	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2005-06-23	Claudio Sacerdoti...	1. Tactic generalize ported to patterns and activated...	blob \| commitdiff \| raw \| diff to current
2005-06-17	Enrico Tassi	uses new pattern concrete syntax	blob \| commitdiff \| raw \| diff to current
2005-06-14	Claudio Sacerdoti...	incomplete proof completed	blob \| commitdiff \| raw \| diff to current
2005-06-09	Claudio Sacerdoti...	intro ==> intros	blob \| commitdiff \| raw \| diff to current
2005-05-16	Enrico Tassi	added examples	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.