coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Removing the documentation of the XML plugin.	Pierre-Marie Pédrot	2014-09-08
*	Grammar: "allowing to" is not proper English	Jason Gross	2014-08-25
*	Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)	Guillaume Melquiond	2014-04-28
*	Completing text of the question on conservativity of CIC over CC (bug #2697).	Hugo Herbelin	2014-04-05
*	Fix Bug 3131 + Really drop mentions of info in refman.	Pierre Boutillier	2014-04-02
*	Updating version numbers.	herbelin	2012-08-08
*	Open Local Scope ---> Local Open Scope, same with Notation and alii	letouzey	2012-07-05
*	ZArith + other : favor the use of modern names instead of compat notations	letouzey	2012-07-05
*	place all files specific to camlp4 syntax extensions in grammar/	letouzey	2012-05-29
*	Fixup r15251 second time	pboutill	2012-05-03
*	Removed the quasi-useless gtk2rc file and the documentation that went with it...	ppedrot	2012-04-27
*	- changing minimal version for OCaml: Coq uses Filename.dirsep that is availa...	notin	2012-02-20
*	doc: two minor fixes to make my latex happy	letouzey	2011-11-28
*	CoqIdE configuration file won't pollute your home anymore	pboutill	2011-11-20
*	Updating some links in the FAQ	herbelin	2011-10-01
*	Applying Jean-Baptiste Rouquier's FAQ update proposed on coqdev about	herbelin	2011-09-24
*	Remove references to -ide option of coqmktop	glondu	2011-01-11
*	Example of a simple ML tactic (Hello world).	fkirchne	2010-12-09
*	Applied patch to FAQ proposed by Hendrik Tews (bug report #2446).	herbelin	2010-12-04
*	Minor fixes of 'make doc'	pboutill	2010-09-28
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	maj de la faq: correction de l'exemple field qui compilait plus en 8.2, corre...	jnarboux	2009-02-17
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	Ajout d'une explication dans la FAQ pour le bug avec MOD4 sous Coqide	notin	2008-01-07
*	Modification de la question no 172 de la FAQ (cf bug #1755)	notin	2007-12-11
*	Révision de theories/Logic concernant les axiomes de descriptions.	herbelin	2007-10-03
*	Correction du bug #1635	notin	2007-08-13
*	typo faq	herbelin	2007-06-19
*	Compilation de la FAQ	notin	2007-02-18
*	Correction adresse CoRN dans FAQ (suite)	herbelin	2007-01-17
*	Correction adresse CoRN dans FAQ (cf #1317)	herbelin	2007-01-17
*	Correction typo règle réduction du fix chapitre CCI	herbelin	2006-12-08
*	add a comment about Show Existentials and a question about case_eq	jnarboux	2006-12-01
*	Petite actualisation FAQ	herbelin	2006-03-31
*	r8637@thot: notin \| 2006-03-14 16:00:49 +0100	notin	2006-03-14
*	Mise à jour des Makefile, ajout licences, corrections mineures suite à	herbelin	2006-02-23
*	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin	2006-02-23