coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-03	Merge PR #13293: Doc: added "Arguments" removing implicit arguments	coqbot-app[bot]
2020-11-03	Merge PR #13092: Fixing #13078: stack overflow and anomalies with binding not...	coqbot-app[bot]
2020-11-03	improved documentation of arguments command	Fabian Kunze
2020-11-02	Merge PR #13183: attribute #[using] for Definition and Fixpoint	coqbot-app[bot]
2020-11-02	Merge PR #13247: Fixes #13241: nested Ltac functions wrongly reporting error ...	Pierre-Marie Pédrot
2020-11-02	Doc: added "Arguments" removing implicit arguments	Fabian Kunze
2020-11-02	[doc] attribute #[using]	Enrico Tassi
2020-11-02	add changelog	Enrico Tassi
2020-10-31	Adding overlay for PR #13290.	Hugo Herbelin
2020-10-30	Add change log for #13145.	Hugo Herbelin
2020-10-30	Renaming numnotoption into number_modifier	Pierre Roux
2020-10-30	Renaming Numeral.v into Number.v	Pierre Roux
2020-10-28	Adding changelog for #13247.	Hugo Herbelin
2020-10-27	Change a few nonterminal names in mlgs and update doc to match	Jim Fehrle
2020-10-27	Rename tac2type -> ltac2_type,	Jim Fehrle
2020-10-27	Rename misc nonterminals	Jim Fehrle
2020-10-27	Rename tactic_expr -> ltac_expr	Jim Fehrle
2020-10-27	Rename operconstr -> term	Jim Fehrle
2020-10-26	Merge PR #12768: Granting wish #12762: warning on duplicated catch-all patter...	coqbot-app[bot]
2020-10-25	Merge PR #12936: Convert misc chapters to prodn, update syntax	coqbot-app[bot]
2020-10-24	Convert misc chapters to prodn	Jim Fehrle
2020-10-23	Correct doc using :>>	Gaëtan Gilbert
2020-10-22	Make no match/multiple match for tacn/cmd an error	Jim Fehrle
2020-10-22	Merge PR #11924: Add style for smallcaps.	coqbot-app[bot]
2020-10-20	Merge PR #13214: Better message for doc_grammar; avoid an infinite SPLICE loop	coqbot-app[bot]
2020-10-20	Add some missing smallcaps.	Théo Zimmermann
2020-10-20	[zify] Use flag for Z.to_euclidean_division_equations.	Frédéric Besson
2020-10-20	[zify] Add support for Int63.int	Frédéric Besson
2020-10-19	Better message and avoid an infinite SPLICE loop	Jim Fehrle
2020-10-19	Add style for smallcaps.	Théo Zimmermann
2020-10-19	Adding change log for #13092.	Hugo Herbelin
2020-10-16	Add change log for #13166.	Hugo Herbelin
2020-10-15	Merge PR #13140: Documenting Set Printing Goal Names + a small goal display fix	coqbot-app[bot]
2020-10-12	Merge PR #13185: Add missing ";" in Record grammar	coqbot-app[bot]
2020-10-12	Add missing ";" in record grammar	Jim Fehrle
2020-10-12	Merge PR #12874: Add a "Show Proof Diffs" message to the XML protocol	coqbot-app[bot]
2020-10-12	Merge PR #12449: Minimize Prop <= i to i := Set	coqbot-app[bot]
2020-10-10	Adding change log for #12950.	Hugo Herbelin
2020-10-10	Documenting the new only-parsing only-printing model.	Hugo Herbelin
2020-10-09	Add an XML message for "Show Proof Diffs"	Jim Fehrle
2020-10-09	Minimize Prop <= i to i := Set	Gaëtan Gilbert
2020-10-06	Documenting option Set Printing Goal Name.	Hugo Herbelin
2020-10-05	Documenting warning about unused variables in pattern clauses.	Hugo Herbelin
2020-10-05	Change log for #12768.	Hugo Herbelin
2020-10-05	Document the removal of forward class hints.	Théo Zimmermann
2020-10-04	Merge PR #13096: Drop prefixes from non-terminal names, e.g. "constr:constr" ...	coqbot-app[bot]
2020-10-04	Remove prefixes on nonterminal names, e.g. "constr:" and "Prim."	Jim Fehrle
2020-10-02	Merge PR #13125: More details in the documentation of native arrays	coqbot-app[bot]
2020-10-02	More details in the documentation of native arrays	Vincent Semeria
2020-10-02	{new,setoid_}ring -> ring	Maxime Dénès