coq - The formal proof system

Age	Commit message (Expand)	Author
2018-09-26	[print] Restrict use of "debug" Termops printer.	Emilio Jesus Gallego Arias
2018-09-24	[engine] Remove and deprecate `nf_enter` et al.	Emilio Jesus Gallego Arias
2018-04-12	Merge PR #7107: Fixes #7100: lost of main file location in case of Ltac failu...	Pierre-Marie Pédrot
2018-04-04	Fixing #7100 (lost of main file location in case of Ltac failure in other file).	Hugo Herbelin
2018-04-02	Fix #6404 - Print tactics called by ML tactics	Jason Gross
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-10-25	[general] Remove Econstr dependency from `intf`	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-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-06-14	Merge PR#513: A fix to #5414 (ident bound by ltac names now known for "match").	Maxime Dénès
2017-06-10	Remove (useless) aliases from the API.	Matej Košík
2017-06-09	A fix to #5414 (ident bound by ltac names now known for "match").	Hugo Herbelin
2017-06-07	Put all plugins behind an "API".	Matej Kosik
2017-06-06	Remove the Sigma (monotonous state) API.	Maxime Dénès
2017-05-25	Merge PR#481: [option] Remove support for non-synchronous options.	Maxime Dénès
2017-05-24	Merge branch 'trunk' into located_switch	Emilio Jesus Gallego Arias
2017-05-24	[option] Remove support for non-synchronous options.	Emilio Jesus Gallego Arias
2017-05-04	Adding an option "Set Ltac Batch Debug" to additionally run Ltac debug in bat...	Hugo Herbelin
2017-04-25	[location] Make location optional in Loc.located	Emilio Jesus Gallego Arias
2017-04-25	[location] Remove Loc.ghost.	Emilio Jesus Gallego Arias
2017-04-15	Merge branch 'v8.6' into trunk	Maxime Dénès
2017-03-24	Merge branch 'trunk' into pr379	Maxime Dénès
2017-02-17	Ltac as a plugin.	Pierre-Marie Pédrot