coq - The formal proof system

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