coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-16	Explicitly annotate all hint declarations of the standard library.	Pierre-Marie Pédrot
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-10-24	Remove v62 from stdlib.	Théo Zimmermann
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2012-08-08	Updating headers.	herbelin
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-06-09	Tentative fix for bug #2226: put inj_pair2 and eq_dep_eq hints in a	msozeau
2010-05-09	Added a few informations about file lineages (for the most part in kernel)	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-09-28	Fix the stdlib doc compilation + switch all .v file to utf8	letouzey
2006-03-17	Modification des propriétés (svn:executable)	notin
2006-03-05	Modularisation des preuves concernant la logique classique, l'indiscernabilit...	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-01-27	MAJ simplification	herbelin
2003-11-29	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin
2003-04-09	Renommage K; equivalence JMeq et eq_dep sur Type	herbelin
2003-04-03	Documentation, généralisation à eq sur Type, preuves d'équivalence des	herbelin
2001-04-19	Mise de (*i autour CVS info	mohring
2001-03-15	entetes	filliatr
2000-10-06	Un usage en moins de l'axiome eq_rec_eq	herbelin
2000-10-04	Commit malencontreux sur précédente version	herbelin
2000-10-04	Mise en conformité nouveau Simpl pour Fix	herbelin
2000-01-21	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr