coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Mention again how to report bug and get version number.	Théo Zimmermann	2017-06-30
*	Better phrasing.	Théo Zimmermann	2017-06-29
*	More substance on discouraged practices.	Théo Zimmermann	2017-06-29
*	Some more corrections to the tutorial.	Théo Zimmermann	2017-06-29
*	Mask the reliance on coqtop.	Théo Zimmermann	2017-06-29
*	Update the Tutorial.	Théo Zimmermann	2017-06-28
*	[vernac] Remove `Save.` command.	Emilio Jesus Gallego Arias	2017-05-23
*	Fix some typos in tutorial (bug #5294).	Guillaume Melquiond	2016-12-28
*	Update tutorial (fix bug #4699).	Guillaume Melquiond	2016-04-28
*	Fixing tutorial.	Pierre-Marie Pédrot	2015-09-21
*	Remove some outdated files and fix permissions.	Guillaume Melquiond	2015-07-31
*	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey	2014-12-09
*	"allows to", like "allowing to", is improper	Jason Gross	2014-08-25
*	Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)	Guillaume Melquiond	2014-04-28
*	Renaming SearchAbout into Search and Search into SearchHead.	herbelin	2013-04-17
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	- Fixed various Overfull in documentation.	herbelin	2009-01-27
*	Updated dates	herbelin	2009-01-13
*	- Suppression de Rstar/Newman peu utilisables comme biblio (encodage	herbelin	2008-07-17
*	2-3 petites modifs sur la doc	notin	2008-06-10
*	Maj du lien vers coq-bugs dans Coqide.	glondu	2007-12-18
*	Mention de coqide, proof general et pcoq	herbelin	2006-06-23
*	Enleve les commentaires	cpaulin	2006-04-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