coq - The formal proof system

Age	Commit message (Expand)	Author
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-06-06	Added support for Ltac-matching terms with variables bound in the pattern	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-22	Here comes the commit, announced long ago, of the new tactic engine.	aspiwack
2010-03-05	Improvements in generalized rewriting:	msozeau
2010-01-28	New command Declare Reduction <id> := <conv_expr>.	letouzey
2009-10-21	This big commit addresses two problems:	soubiran
2009-09-17	Remove useless Liboject.export_function field	glondu
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-09-11	Generalized the possibility to refer to a global name by a notation	herbelin
2009-09-02	Stop unnecessary use of lazy values for constraints, simplifying	msozeau
2009-08-13	Death of "survive_module" and "survive_section" (the first one was	herbelin
2009-08-06	- Cleaning phase of the interfaces of libnames.ml and nametab.ml	herbelin
2009-04-07	Move setoid_rewrite to its own module and do some clean up in	msozeau
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey