coq - The formal proof system

Age	Commit message (Expand)	Author
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2009-03-18	fixed ring/field warning about hyp cleaning up	barras
2009-03-17	- gros commit sur ring et field: passage des arguments simplifie	barras
2008-12-16	Take advantage of natdynlink when available: almost all contribs become loada...	letouzey
2008-04-29	Ajout notation [ x ; ... ; y ] dans list_scope. Changement de la	herbelin
2007-07-24	fixed bug 1675: computing carrier from the relation type was not right	barras
2007-07-12	port de r9968: bug avec les ring calculatoires	barras
2007-02-05	changement dans ring specification du sign, division	bgregoir
2007-02-02	ring: introduction de Get_goal	bgregoir
2007-01-23	ring : Correction du bug PR#1306	bgregoir
2006-12-15	Changement dans ring et field, beaucoup de correction d'erreurs,	bgregoir
2006-12-11	Changement dans le kernel :	bgregoir
2006-11-16	pb avec r9379 + modifs dans ring	barras
2006-11-10	generalisation de ring pour faire Ring_nf	barras
2006-10-30	fixed field_simplify + changed precedence of let and fun in ltac	barras
2006-10-27	simplif de la partie ML de ring/field	barras
2006-10-02	bug dans field_simplify	barras
2006-09-26	commit de field + renommages	barras
2006-09-26	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras
2005-12-02	Changement des named_context	gregoire
2005-11-18	commited first version of new ring	barras