coq - The formal proof system

Age	Commit message (Expand)	Author
2021-02-24	Infrastructure for fine-grained debug flags	Maxime Dénès
2020-12-27	Make ssrtermkind algebraic instead of a char	Lasse Blaauwbroek
2020-11-25	Separate interning and pretyping of universes	Gaëtan Gilbert
2020-10-22	Fix printing of wit_constr and some ssr problems with printing empty lists	Lasse Blaauwbroek
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-02-12	Remove Goptions.opt_name field	Gaëtan Gilbert
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-03-20	Stop accessing proof env via Pfedit in printers	Maxime Dénès
2019-01-18	[ssr] clean up implementation of {}/v -> /v{v}	Enrico Tassi
2018-12-18	[ssr] make > a stand alone intro pattern	Enrico Tassi
2018-12-18	[ssr] extended intro patterns: + > [^] /ltac:	Enrico Tassi
2018-11-23	s/let _ =/let () =/ in some places (mostly goptions related)	Gaëtan Gilbert
2018-10-31	[ssr] use tclDISPATCH for IPatDispatch (fix #8544)	Enrico Tassi
2018-06-22	[ssr] implement {}/v as a short hand for {v}/v when v is an id	Enrico Tassi
2018-03-05	Merge PR #6855: Update headers following #6543.	Maxime Dénès
2018-03-04	ssr: rewrite Ssripats and Ssrview in the tactic monad	Enrico Tassi
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-11-21	[printing] Deprecate all printing functions accessing the global proof.	Emilio Jesus Gallego Arias
2017-07-17	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias
2017-06-07	Put "ssreflect" behind "API".	Matej Košík
2017-06-06	Merge the ssr plugin.	Maxime Dénès