coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix some documentation typos.	Guillaume Melquiond	2016-11-24
*	Fix some typos.	Guillaume Melquiond	2015-10-14
*	Fix some typos.	Guillaume Melquiond	2015-10-13
*	Remove generatable documentation files from repository. (Fix bug #4315)	Guillaume Melquiond	2015-08-17
*	Avoid suggesting elim and decompose in the FAQ.	Guillaume Melquiond	2015-07-30
*	Remove some output of Qed in the FAQ.	Guillaume Melquiond	2015-07-30
*	Fix some broken Coq scripts in the documentation.	Guillaume Melquiond	2015-07-30
*	Improve the FAQ a bit.	Guillaume Melquiond	2015-07-29
*	Reset a dangling proof in the FAQ.	Guillaume Melquiond	2015-07-28
*	Regenerate the axiom figure of the FAQ.	Guillaume Melquiond	2015-07-26
*	Remove obsolete question about eta-conversion.	Guillaume Melquiond	2015-07-26
*	admit: replaced by give_up + Admitted (no proof_admitted : False, close #4032)	Enrico Tassi	2015-03-11
*	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey	2014-12-09
*	FAQ: fix some broken urls	Pierre Letouzey	2014-11-27
*	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
*	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