coq - The formal proof system

Age	Commit message (Expand)	Author
2012-06-01	Getting rid of Pp.msgnl and Pp.message.	ppedrot
2012-05-29	global_reference migrated from Libnames to new Globnames, less deps in gramma...	letouzey
2012-03-02	Noise for nothing	pboutill
2011-11-17	Merge subinstances branch by me and Tom Prince.	msozeau
2011-10-18	Fix bug #2227	msozeau
2011-07-29	Term: moved function constr_ord (a.k.a compare_constr) from Sequent to Term	puech
2011-07-29	Sequent: generic equality on global_reference replaced by RefOrdered.compare	puech
2011-07-29	Sequent: generic equality on kernel_name replaced by kn_ord	puech
2011-07-29	Sequent: generic equality on constr replaced by destructors	puech
2011-07-29	Sequent: generic equality on ident replaced by id_ord	puech
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-09-13	- Inductive types in the "using" option of auto/eauto/firstorder are	herbelin
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey