matita.cs.unibo.it Git - helm.git/history - helm/software/components/grafite

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/grafite_engine/grafiteTypes.ml

2009-03-25	Enrico Tassi	new tactics are almost ready	blob \| commitdiff \| raw
2009-01-13	Enrico Tassi	many changes regarding coercions:	blob \| commitdiff \| raw \| diff to current
2008-01-10	Enrico Tassi	BIG FAT WARNING: DEVELOPMENTS DIE HERE	blob \| commitdiff \| raw \| diff to current
2007-05-17	Enrico Tassi	added a (for the moment) dummy field _subst to Proofeng...	blob \| commitdiff \| raw \| diff to current
2007-01-10	Ferruccio Guidi	attributes now in the proof status: commit 2	blob \| commitdiff \| raw \| diff to current
2007-01-05	Enrico Tassi	add_moo_content does not add a coercion statement twice	blob \| commitdiff \| raw \| diff to current
2006-12-22	Andrea Asperti	Add_moo_content modified to avoid repetitions of index...	blob \| commitdiff \| raw \| diff to current
2006-11-23	Andrea Asperti	The status has been extended with a "universe", that...	blob \| commitdiff \| raw \| diff to current
2006-07-22	Enrico Tassi	matitaprover	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	blob \| commitdiff \| raw \| diff to current

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