coq - The formal proof system

Age	Commit message (Expand)	Author
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2014-03-05	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey
2012-08-08	Updating headers.	herbelin
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-07-22	Extension of the recursive notations mechanism	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
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2005-01-21	Compatibilité ocamlweb pour cible doc	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-03-17	Mise en place de motifs récursifs dans Notation; quelques simplifications au...	herbelin
2002-12-09	Problèmes et améliorations divers affichage	herbelin
2002-12-03	Préparation à la prise en compte des changements de scopes internes aux not...	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin