coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Thanks Hugo, but let's remain factual.	Maxime Dénès	2016-01-15
*	Updating credits.	Hugo Herbelin	2015-12-16
*	Reference Manual/Credits: expand the paragraph on the new proof engine to mat...	Arnaud Spiwack	2015-01-21
*	Reference Manual/Credits: native compute is a major contribution.	Arnaud Spiwack	2015-01-21
*	Reference manual/Credits: populate the "various smaller-scale improvements" p...	Arnaud Spiwack	2015-01-21
*	Reference Manual/Credits: remove a duplicate.	Arnaud Spiwack	2015-01-21
*	Reference manual: pass over the credit section for English.	Arnaud Spiwack	2015-01-21
*	Minor fixes to the refman credits to be continued.	Matthieu Sozeau	2015-01-15
*	Expand Credits for 8.5 and doc on universes	Matthieu Sozeau	2015-01-15
*	Tentatively updating credits while remaining brief.	Hugo Herbelin	2015-01-15
*	some credits for STM	Enrico Tassi	2015-01-11
*	Start credits for 8.5.	Matthieu Sozeau	2015-01-08
*	refman: switch all source files to utf8	Pierre Letouzey	2014-12-09
*	sed -i.toto -e 's/Objective Caml/\{\ocaml\}/g' doc/refman/RefMan-*.tex	Pierre Boutillier	2014-09-03
*	Updating credits for final 8.4	herbelin	2012-08-07
*	Fixed #2789.	ppedrot	2012-05-25
*	Credits for 8.4: More exhaustive list of external contributors.	herbelin	2011-12-23
*	Credits for 8.4 + resetting COMPATIBILITY file.	herbelin	2011-12-22
*	Updating reference manual credits: gb is now nsatz.	herbelin	2010-07-08
*	Update of credits files	herbelin	2010-05-09
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	- Fixed many "Theorem with" bugs.	herbelin	2008-10-27
*	- Documentation de admit et Print Assumptions.	herbelin	2008-06-09
*	Notation concise pour la valeur par défaut des cas reconnus comme	herbelin	2008-05-28
*	MAJ crédits	herbelin	2008-05-19
*	Cleaned doc/common/title.tex file. Increased the space under headers	emakarov	2007-04-12
*	Eliminated warning messages from Hevea. Most warning messages were	emakarov	2007-04-10
*	MAJ crédits, fresh; documentation apply in	herbelin	2006-10-26
*	MAJ	herbelin	2006-08-28
*	Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé...	herbelin	2006-07-07
*	updated documentation for my tactics (P. orbineau	corbinea	2006-06-22
*	Nouvelle MAJ	herbelin	2006-06-09
*	MAJ 8.1-APP	herbelin	2006-04-13
*	MAJ 8.1-APP	herbelin	2006-04-13
*	Modification des propriétés des fichiers .tex (svn:executable)	notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty	2006-02-24
*	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin	2006-02-23