coq - The formal proof system

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