coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Bigint.euclid: clarify which sign convention is used	Pierre Letouzey	2017-05-23
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Restrict (try...with...) to avoid catching critical exn (part 13)	letouzey	2013-03-13
*	Restrict (try...with...) to avoid catching critical exn (part 8)	letouzey	2013-03-13
*	Updating headers.	herbelin	2012-08-08
*	Bigint: new functions of_int and to_int, 2nd arg of pow in int	letouzey	2012-08-02
*	Bigint: avoid dependency over Pp	letouzey	2012-07-30
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	New script dev/tools/change-header to automatically update Coq files headers.	herbelin	2010-06-22
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill	2010-04-29
*	Processor integers + Print assumption (see coqdev mailing list for the	aspiwack	2007-05-11
*	Compatibilité ocamlweb pour cible doc	herbelin	2005-01-21
*	Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...	herbelin	2004-12-24