coq - The formal proof system

Age	Commit message (Expand)	Author
2021-04-12	Merge PR #14046: make critical sections safe in the presence of exceptions	coqbot-app[bot]
2021-04-09	Make critical sections safe in the presence of exceptions	Lasse Blaauwbroek
2021-04-02	Remove the omega tactic and related options	Jim Fehrle
2021-02-25	Merge PR #13202: Infrastructure for fine-grained debug flags	coqbot-app[bot]
2021-02-24	Infrastructure for fine-grained debug flags	Maxime Dénès
2021-02-16	Get rid of the compilation date from the binaries to make them more stable.	Guillaume Melquiond
2021-01-27	[coqtop] handle -print-module-uid after initialization	Enrico Tassi
2021-01-27	[sysinit] move initialization code from coqtop to here	Enrico Tassi
2021-01-27	[sysinit] new component for system initialization	Enrico Tassi
2020-12-18	Fixes #13657: vscoq needs goal uid.	Hugo Herbelin
2020-10-30	Adding support for printing goal names in CoqIDE.	Hugo Herbelin
2020-10-27	Rename misc nonterminals	Jim Fehrle
2020-10-12	Merge PR #12874: Add a "Show Proof Diffs" message to the XML protocol	coqbot-app[bot]
2020-10-09	Add an XML message for "Show Proof Diffs"	Jim Fehrle
2020-09-01	Unify the shelves	Maxime Dénès
2020-08-26	Move given_up goals to evar_map	Maxime Dénès
2020-06-26	[declare] Reify Proof.t API into the Proof module.	Emilio Jesus Gallego Arias
2020-06-02	Move CoqIDE to its own folder	Maxime Dénès