coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
	Add headers to a few files which were missing them.
2020-03-04	[micromega] Add numerical compatibility layer.	Emilio Jesus Gallego Arias
	Only significant change is in gcd / lcm which now are typed in `Z.t`
2019-12-13	[micromega] Enable ocamlformat.	Emilio Jesus Gallego Arias

2019-06-17	Update ml-style headers to new year.	Théo Zimmermann

2018-10-16	[micromega] remove dead code	Vincent Laporte

2018-02-27	Update headers following #6543.	Théo Zimmermann

2017-07-04	Bump year in headers.	Pierre-Marie Pédrot

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
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15715 85f007b7-540e-0410-9357-904b9bb8a0f7
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13323 85f007b7-540e-0410-9357-904b9bb8a0f7
2009-08-25	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12294 ↵	fbesson
	85f007b7-540e-0410-9357-904b9bb8a0f7