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

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

2006-01-09	Stefano Zacchiroli	changes location of coq.ma (now "legacy/coq.ma")	blob \| commitdiff \| raw
2005-10-25	Enrico Tassi	fixed -debug	blob \| commitdiff \| raw \| diff to current
2005-08-22	Claudio Sacerdoti...	Comment removed.	blob \| commitdiff \| raw \| diff to current
2005-08-22	Claudio Sacerdoti...	Paramodulation bug fixed.	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-19	Claudio Sacerdoti...	New naming scheme (by Andrea).	blob \| commitdiff \| raw \| diff to current
2005-07-19	Ferruccio Guidi	patched	blob \| commitdiff \| raw \| diff to current
2005-07-19	Ferruccio Guidi	the decompose tactic is now working	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-11	Claudio Sacerdoti...	Bug fixed: the generated elimination principles used...	blob \| commitdiff \| raw \| diff to current
2005-07-07	Ferruccio Guidi	another bug of auto	blob \| commitdiff \| raw \| diff to current
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.

RSS Atom