coq - The formal proof system

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