coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Simplification of Numbers, mainly thanks to Include	letouzey	2009-11-10
*	Numbers: finish files NStrongRec and NDefOps	letouzey	2009-11-06
*	ROrderedType + Rminmax : Coq's Reals can be seen as OrderedType.	letouzey	2009-11-03
*	OrderedType implementation for various numerical datatypes + min/max structures	letouzey	2009-11-03
*	FSetCompat: a compatibility wrapper between FSets and MSets	letouzey	2009-10-20
*	Merge SetoidList2 into SetoidList.	letouzey	2009-10-19
*	Structure/OrderTac.v : highlight the "order" tactic by isolating it from FSet...	letouzey	2009-10-16
*	MSets: a new generation of FSets	letouzey	2009-10-13
*	Fixed installation of Coqide interface/library files (bug #2147).	gmelquio	2009-10-06
*	Remove useless MonoList.v	glondu	2009-09-17
*	- Tentatively made order-dependency wrt .vo files a full dependency	herbelin	2009-09-15
*	Addendum to revision 12323; update Makefile.common after removal of	herbelin	2009-09-11
*	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12294 85f007b7-540e-0...	fbesson	2009-08-25
*	Delegate _all_ doc targets to stage2	lmamane	2009-08-25
*	Parsing files for numerals (+ ascii/string) moved into plugins	letouzey	2009-03-27
*	make coqdep_boot in stage1, not stage2	lmamane	2009-03-25
*	ocamlbuild improvements + minor makefile fix	letouzey	2009-03-24
*	pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file)	letouzey	2009-03-24
*	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey	2009-03-20
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...	barras	2009-03-16
*	coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...	letouzey	2009-03-16
*	Makefile: fix ignored errors, several attempts to clarify things	letouzey	2009-03-16
*	Makefile: minor improvements	letouzey	2009-03-16
*	Better mechanism for loading initial plugins	letouzey	2009-03-14
*	Makefile: ml dependencies of contribs are moved to .mllib files	letouzey	2009-03-14
*	- per session coq command stack	vgross	2009-03-07
*	ajout de la tactique groebner de Loic Pottier	barras	2009-03-05
*	porting r11900 11905 and 11953 to trunk	barras	2009-03-02
*	Heavy modifications on the widget and edition tab creation mechanism.	vgross	2009-03-02
*	Makefile: avoid building an empty contrib.cmxa	letouzey	2009-02-27
*	CoqInterface.vo in CONTRIBVO (should fix a dependency issue)	letouzey	2009-02-20
*	coq-interface and coq-parser can be calls to coqtop with adequate code dynlink	letouzey	2009-02-20
*	Backport of 11890 from branch v8.2 (compile tools with the best	herbelin	2009-02-11
*	Fix de divers petits problèmes d'installation	notin	2009-02-11
*	Modification du style du manuel de référence	notin	2009-02-11
*	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin	2009-02-11
*	Allow to turn contrib/subtac into a (nat)dynlink'able plugin	letouzey	2009-02-03
*	Fix the installation of plugins (both initial and late ones)	letouzey	2009-02-03
*	Remplacement de cp --parents par un script sh	notin	2009-01-22
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	Getting rid of the previous implementation of setoid_rewrite which was	msozeau	2009-01-18
*	DISCLAIMER	puech	2009-01-17
*	Workaround to compile the coq archive with dynamic loading on Mac OS 10.5	herbelin	2009-01-13
*	- Fixed the recompilation of config/revision.ml once every two conmpilations.	herbelin	2009-01-10
*	Minor doc fixes:	msozeau	2009-01-08
*	Suite de la révision #11756	notin	2009-01-07
*	Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...	notin	2009-01-06
*	Report de la révision 11754 (compilation sous windows)	notin	2009-01-06
*	Moved JProver to a user contribution (as was decided a long time ago)	herbelin	2009-01-04