coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ajout notation [ x ; ... ; y ] dans list_scope. Changement de la	herbelin	2008-04-29
*	changement dans ring specification du sign, division	bgregoir	2007-02-05
*	field: introduction de Get_goal	bgregoir	2007-02-02
*	Changement dans ring et field, beaucoup de correction d'erreurs,	bgregoir	2006-12-15
*	Changement dans le kernel :	bgregoir	2006-12-11
*	pb avec r9379 + modifs dans ring	barras	2006-11-16
*	generalisation de ring pour faire Ring_nf	barras	2006-11-10
*	fixed field_simplify + changed precedence of let and fun in ltac	barras	2006-10-30
*	simplif de la partie ML de ring/field	barras	2006-10-27
*	field_simplify_eq profite de la factorisation de Laurent	barras	2006-10-17
*	make sure BinList is not made visible to files that use the tactic Ring	bertot	2006-10-10
*	inefficacite de field_simplify_eq	barras	2006-10-04
*	bug dans field_simplify	barras	2006-10-02
*	args implicites dans Field	barras	2006-09-29
*	separation de RealField	barras	2006-09-28
*	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9185 85f007b7-540e-04...	barras	2006-09-28
*	commit de field + renommages	barras	2006-09-26