coq - The formal proof system

Age	Commit message (Expand)	Author
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-12-10	Side-effect free wrapper around already declared schemes.	Pierre-Marie Pédrot
2019-11-21	[coq] Untabify the whole ML codebase.	Emilio Jesus Gallego Arias
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-06-11	Remove the side-effect role from the kernel.	Pierre-Marie Pédrot
2019-06-06	Make discriminate tactic compatible with HoTT	Andreas Lynge
2019-03-14	Add relevance marks on binders.	Gaëtan Gilbert
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-11-13	[api] Insert miscellaneous API deprecation back to core.	Emilio Jesus Gallego Arias
2017-11-06	[api] Move structures deprecated in the API to the core.	Emilio Jesus Gallego Arias
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-06-16	Clean up universes of constants and inductives	Amin Timany
2016-07-06	primproj: warning and avoid error.	Matthieu Sozeau
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
2011-05-26	Fixing discriminate for identity.	herbelin
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
2009-12-13	Made the side-conditions of lemmas always come last when chaining "apply in"	herbelin