matita.cs.unibo.it Git - helm.git/history

]> matita.cs.unibo.it Git - helm.git/history - helm/matita/matita.lang

2005-07-06	Claudio Sacerdoti...	1. tactical "try_tacticals" renamed to "first"	blob \| commitdiff \| raw
2005-07-05	Ferruccio Guidi	name specifications added for elim_intros, elim_intros_...	blob \| commitdiff \| raw \| diff to current
2005-07-04	Claudio Sacerdoti...	default	blob \| commitdiff \| raw \| diff to current
2005-07-04	Claudio Sacerdoti...	"input" was meant to be "include"	blob \| commitdiff \| raw \| diff to current
2005-07-04	Claudio Sacerdoti...	include	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	first snapshot of separate compilation	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	\vdash added	blob \| commitdiff \| raw \| diff to current
2005-06-27	Claudio Sacerdoti...	New tactics.	blob \| commitdiff \| raw \| diff to current
2005-06-27	Claudio Sacerdoti...	New argument (the hypothesis name) for cut.	blob \| commitdiff \| raw \| diff to current
2005-06-25	Ferruccio Guidi	first working (?) version of lapply	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-14	Claudio Sacerdoti...	No more %% comments.	blob \| commitdiff \| raw \| diff to current
2005-06-14	Claudio Sacerdoti...	typo fixed: simmetry ==> symmetry	blob \| commitdiff \| raw \| diff to current
2005-06-13	Enrico Tassi	renamed	blob \| commitdiff \| raw \| diff to current

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