coq - The formal proof system

Age	Commit message (Expand)	Author
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