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

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

[helm.git] / helm / matita / matita.lang

2005-11-21	Ferruccio Guidi	internal quantification fixed	blob \| commitdiff \| raw
2005-11-07	Claudio Sacerdoti...	Syntactic change:	blob \| commitdiff \| raw \| diff to current
2005-09-09	Enrico Tassi	added left/right	blob \| commitdiff \| raw \| diff to current
2005-07-28	Claudio Sacerdoti...	New tactic unfold.	blob \| commitdiff \| raw \| diff to current
2005-07-27	Stefano Zacchiroli	highlighted notation keywords	blob \| commitdiff \| raw \| diff to current
2005-07-25	Claudio Sacerdoti...	paramodulation added.	blob \| commitdiff \| raw \| diff to current
2005-07-18	Stefano Zacchiroli	merged cic_notation with matita: good luck!	blob \| commitdiff \| raw \| diff to current
2005-07-08	Enrico Tassi	added variant thm flavour	blob \| commitdiff \| raw \| diff to current
2005-07-06	Claudio Sacerdoti...	1. tactical "try_tacticals" renamed to "first"	blob \| commitdiff \| raw \| diff to current
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.

RSS Atom