coq - The formal proof system

Age	Commit message (Expand)	Author
2007-11-06	Integration of theories/Ints/Z/* in ZArith and large cleanup and extension of...	letouzey
2007-11-01	Adding Qround.v (and helper lemmas and hints)	roconnor
2007-10-25	Adding BigQ and proofs	thery
2007-10-25	Added NIso.v to Makefile.common. Changed Examples.v in contrib/micromega to u...	emakarov
2007-10-18	Intallation des .cma/.cmxa	notin
2007-10-18	Copie de PreOmega.vo dans le répertoire d'installation de Coq	notin
2007-10-18	Typo dans Makefile.common	notin
2007-10-17	Major reorganisation of the extraction "backend".	letouzey
2007-10-11	Allow a few build system optimisations/corner-cutting	lmamane
2007-10-05	Added the automatic generation of the boolean equality if possible and the	vsiles
2007-10-04	Added the proof (in Numbers/Integers/TreeMod) that tree-like representation o...	emakarov
2007-10-03	Révision de theories/Logic concernant les axiomes de descriptions.	herbelin
2007-10-02	The following now compiles: abstract integers with plus, minus and times, bin...	emakarov
2007-10-01	Added the compilation of theories/Numbers to Makefile.common. The following t...	emakarov
2007-09-27	Découpage de Setoid.v	notin
2007-08-08	Fix dependency bugs due to Program modules renamings.	msozeau
2007-08-07	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-01	Build system: BSD compatibility: do not use -printf action of find	lmamane
2007-07-25	Add glob.dump to Makefile the recommended way and document the	lmamane
2007-07-18	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-16	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-13	A emacs-specific comment to use makefile-mode on Makefile.*	letouzey
2007-07-13	New bootstrapping, improved, Makefile system	corbinea