coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Added the automatic generation of the boolean equality if possible and the	vsiles	2007-10-05
*	Added the proof (in Numbers/Integers/TreeMod) that tree-like representation o...	emakarov	2007-10-04
*	Révision de theories/Logic concernant les axiomes de descriptions.	herbelin	2007-10-03
*	The following now compiles: abstract integers with plus, minus and times, bin...	emakarov	2007-10-02
*	Added the compilation of theories/Numbers to Makefile.common. The following t...	emakarov	2007-10-01
*	Découpage de Setoid.v	notin	2007-09-27
*	Fix dependency bugs due to Program modules renamings.	msozeau	2007-08-08
*	Move Program tactics into a proper theories/ directory as they are general pu...	msozeau	2007-08-07
*	Build system: _really_ don't recurse into VCS metadata for file lists	lmamane	2007-08-07
*	Build system:	lmamane	2007-08-07
*	Build system: BSD compatibility: do not use -printf action of find	lmamane	2007-08-01
*	Add glob.dump to Makefile the recommended way and document the	lmamane	2007-07-25
*	Makefile: slightly cleaner version of r10026	lmamane	2007-07-18
*	Makefile: don't mention bin/coqtop.byte twice to make when BEST=byte, it comp...	lmamane	2007-07-18
*	Makefile: -MG doesn't (and can't) do what is necessary	lmamane	2007-07-16
*	A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem	lmamane	2007-07-16
*	A emacs-specific comment to use makefile-mode on Makefile.*	letouzey	2007-07-13
*	New bootstrapping, improved, Makefile system	corbinea	2007-07-13