coq - The formal proof system

Age	Commit message (Expand)	Author
2018-07-02	Moving various ml4 files to mlg.	Pierre-Marie Pédrot
2018-02-27	Update headers following #6543.	Théo Zimmermann
2018-02-17	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle
2017-07-17	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-06-10	Remove (useless) aliases from the API.	Matej Košík
2017-06-07	Put all plugins behind an "API".	Matej Kosik
2017-05-27	[cleanup] Unify all calls to the error function.	Emilio Jesus Gallego Arias
2017-02-17	Moving the Ltac plugin to a pack-based one.	Pierre-Marie Pédrot
2016-09-21	Merging Stdarg and Constrarg.	Pierre-Marie Pédrot
2016-07-03	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey
2016-05-08	Removing dead code and unused opens.	Pierre-Marie Pédrot
2016-03-17	Removing the special status of generic entries defined by Coq itself.	Pierre-Marie Pédrot
2016-02-24	Getting rid of the "<:tactic< ... >>" quotations.	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2014-12-09	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey
2014-05-12	Now parsing rules of ML-declared tactics are only made available after the	Pierre-Marie Pédrot
2014-03-05	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey
2013-11-02	Makes the new Proofview.tactic the basic type of Ltac.	aspiwack
2013-10-23	cList: a few alternative to hashtbl-based uniquize, distinct, subset	letouzey
2012-12-14	Modulification of identifier	ppedrot
2012-09-14	Moving Utils.list_* to a proper CList module, which includes stdlib	ppedrot
2012-08-08	Updating headers.	herbelin
2012-05-29	place all files specific to camlp4 syntax extensions in grammar/	letouzey
2012-03-02	Noise for nothing	pboutill
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey