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

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

2005-07-07	Ferruccio Guidi	another bug of auto	blob \| commitdiff \| raw
2005-07-06	Ferruccio Guidi	fix please	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-01	Enrico Tassi	first snapshot of separate compilation	blob \| commitdiff \| raw \| diff to current
2005-06-30	Ferruccio Guidi	lapply and fwd improved	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-29	Claudio Sacerdoti...	Removed a dummy "let ... in" that was there only to...	blob \| commitdiff \| raw \| diff to current
2005-06-28	Ferruccio Guidi	lapply improved	blob \| commitdiff \| raw \| diff to current
2005-06-25	Ferruccio Guidi	first working (?) version of lapply	blob \| commitdiff \| raw \| diff to current
2005-06-15	Claudio Sacerdoti...	* parsing errors in tests were not detected and the...	blob \| commitdiff \| raw \| diff to current
2005-06-15	Ferruccio Guidi	support for the new tactics lapply and fwd	blob \| commitdiff \| raw \| diff to current

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