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

2007-01-10	Ferruccio Guidi	attributes now in the proof status: commit 2	blob \| commitdiff \| raw
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.