coq - The formal proof system

Age	Commit message (Expand)	Author
2021-01-13	Avoid using "subgoals" in the UI, it means the same as "goals"	Jim Fehrle
2020-04-15	[proof] Merge `Pfedit` into proofs.	Emilio Jesus Gallego Arias
2020-04-06	Clean and fix definitions of options.	Théo Zimmermann
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-02-24	[exn] Forbid raising in exn printers, make them return Pp.t option	Emilio Jesus Gallego Arias
2020-02-12	Remove Goptions.opt_name field	Gaëtan Gilbert
2020-01-30	[exn] Don't reraise in exception printers	Emilio Jesus Gallego Arias
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-04-24	[proof] Fix proof bullet error helper which was implemented as a hook	Emilio Jesus Gallego Arias
2018-11-23	s/let _ =/let () =/ in some places (mostly goptions related)	Gaëtan Gilbert
2018-10-06	[api] Remove (most) 8.9 deprecated objects.	Emilio Jesus Gallego Arias
2018-05-01	[api] Move bullets and goals selectors to `proofs/`	Emilio Jesus Gallego Arias
2018-04-29	Strict focusing using Default Goal Selector.	Gaëtan Gilbert
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-11-29	[proof] [api] Rename proof types in preparation for functionalization.	Emilio Jesus Gallego Arias
2017-09-29	Cleanup suggest_bullet	Gaëtan Gilbert
2017-06-12	[proof] Move bullets to their own module.	Emilio Jesus Gallego Arias