coq - The formal proof system

Age	Commit message (Expand)	Author
2021-01-20	Remove double induction tactic	Jim Fehrle
2020-11-20	Use nat_or_var where negative values don't make sense	Jim Fehrle
2020-10-14	Deprecating wit_var to the benefit of its synonymous wit_hyp.	Hugo Herbelin
2020-09-17	Formally deprecate the double induction tactic.	Pierre-Marie Pédrot
2020-05-19	Delay evaluating arguments of the "exists" tactic	Attila Gáspár
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-06-19	Merge PR #10239: Deprecate grammar entry "intropattern" in tactic notations i...	Théo Zimmermann
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-06-16	Deprecate "intro_pattern" in tactic notations in favor of "simple_intropattern".	Hugo Herbelin
2018-11-17	[ltac] Use CAst nodes in the tactic AST.	Emilio Jesus Gallego Arias
2018-07-02	Remove the hardcoded compatibility wit_hyp -> wit_var from the parser.	Pierre-Marie Pédrot
2018-07-02	Moving various ml4 files to mlg.	Pierre-Marie Pédrot