coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-08	Convert 2nd part of rewriting chapter to prodn	Jim Fehrle
2021-01-18	Move the only use of strong_with_flags to its single calling module.	Pierre-Marie Pédrot
2020-12-21	Move evaluable_global_reference from Names to Tacred.	Pierre-Marie Pédrot
2020-12-12	Small API encapsulation inside Redexpr.	Pierre-Marie Pédrot
2020-12-12	Split the intepretation of red_exprs in two phases.	Pierre-Marie Pédrot
2020-08-18	Rename VM-related kernel/cfoo files to kernel/vmfoo	Gaëtan Gilbert
2020-06-18	Fix #12228 negative integers not accepted in ltac integer_list	Pierre Roux
2020-06-04	Move the cbn reduction to its own file, and simplify the RAKAM accordingly.	Pierre-Marie Pédrot
2020-04-06	Clean and fix definitions of options.	Théo Zimmermann
2020-04-01	Merge PR #11306: Centralize the flag handling native compilation.	Maxime Dénès
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-12-22	Centralize the flag handling native compilation.	Pierre-Marie Pédrot
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-04-10	Remove calls to Global.env in Patternops	Maxime Dénès
2019-04-10	Remove one call to Global.env in Detyping	Maxime Dénès
2018-12-11	[api] Move reduction modules to `tactics`	Emilio Jesus Gallego Arias