coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[Sphinx] Move chapter 16 to new infrastructure	Maxime Dénès	2018-03-15
*	update PNGs; mention async error handling; change query window to query pane;...	Paul Steckler	2018-01-03
*	Remove GeoProof support.	Maxime Dénès	2017-10-11
*	Avoid generated names for html pages of the reference manual (bug #4742).	Guillaume Melquiond	2017-09-22
*	Fixing documentation wrt the ctrl-shift-u Unicode input method (see #2013).	Hugo Herbelin	2015-09-30
*	refman: for xhtml validity, add 'alt' attributes to img	Pierre Letouzey	2014-12-09
*	"allows to", like "allowing to", is improper	Jason Gross	2014-08-25
*	Renaming SearchAbout into Search and Search into SearchHead.	herbelin	2013-04-17
*	Removed the quasi-useless gtk2rc file and the documentation that went with it...	ppedrot	2012-04-27
*	Documentation typo.	gmelquio	2011-04-15
*	Remove references to -ide option of coqmktop	glondu	2011-01-11
*	TeX input method is now supported upstream	vgross	2010-10-07
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Polishing the setup of CoqIDE Input Method	vgross	2010-02-18
*	Patches and instructions to enable Input Method support in CoqIDE.	vgross	2009-12-21
*	Added some missing statements for proof folding and corrected	vgross	2009-01-20
*	Added proof folding into CoqIde. See RefMan for using it.	vgross	2009-01-20
*	Fixed bug #1540 (typo on name .coqide-gtk2rc)	herbelin	2007-05-17
*	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov	2007-04-17
*	ajout de la doc sur l'option -enable-geoproof de CoqIDE	jnarboux	2006-06-10
*	r8637@thot: notin \| 2006-03-14 16:00:49 +0100	notin	2006-03-14
*	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin	2006-02-23