coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-06	Intro pattern extensions for dup, swap and apply	Cyril Cohen
2020-11-05	Merge PR #12797: [refman] Take large chunks out of the tactics chapter.	coqbot-app[bot]
2020-11-05	Changelog for 8.12.1.	Théo Zimmermann
2020-11-05	Merge PR #12218: Numeral notations for non inductive types	coqbot-app[bot]
2020-11-05	Add a redirection from previous location of the proof handling chapter.	Théo Zimmermann
2020-11-05	Improve title of first proof chapter.	Théo Zimmermann
2020-11-05	Change the title of the automatic tactic chapter and of its sections.	Théo Zimmermann
2020-11-05	Add new sections to automatic tactic chapter.	Théo Zimmermann
2020-11-05	Various fixes.	Théo Zimmermann
2020-11-05	Merge content from two origins into the same file.	Théo Zimmermann
2020-11-05	Move proof handling chapter in new location.	Théo Zimmermann
2020-11-05	Octopus merge to preserve history of content split over multiple files.	Théo Zimmermann
2020-11-05	Remove everything before goal management.	Théo Zimmermann
2020-11-05	Remove everything after the content on goal management.	Théo Zimmermann
2020-11-05	Move some content on goal management to the proof mode page.	Théo Zimmermann
2020-11-05	Remove parts of Tactics that were moved elsewhere.	Théo Zimmermann
2020-11-05	Keep only the content on solvers for logic and equality.	Théo Zimmermann
2020-11-05	Move some content to a new page on solvers for logic and equality.	Théo Zimmermann
2020-11-05	Keep only content about auto.	Théo Zimmermann
2020-11-05	Move some content to a new page on automation.	Théo Zimmermann
2020-11-05	Add new page to writing proof index.	Théo Zimmermann
2020-11-05	Remove everything before term rewriting and simplification.	Théo Zimmermann
2020-11-05	Remove everything after term rewriting and simplification.	Théo Zimmermann
2020-11-05	Move some content to a new page on term rewriting and simplification.	Théo Zimmermann
2020-11-05	Rename Dec and HexDec to Decimal and Hexadecimal	Pierre Roux
2020-11-05	[refman] Add an example for number notations	Pierre Roux
2020-11-05	[string notation] Handle parameterized inductives and non inductives	Pierre Roux
2020-11-05	[numeral notation] Add support for parameterized inductives	Pierre Roux
2020-11-05	[numeral notation] Handle implicit arguments	Pierre Roux
2020-11-05	[numeral notation] Document the via ... using ... option	Pierre Roux
2020-11-04	Regenerate the grammar description file.	Pierre-Marie Pédrot
2020-11-04	Document the syntax addition.	Pierre-Marie Pédrot
2020-11-03	Merge PR #13293: Doc: added "Arguments" removing implicit arguments	coqbot-app[bot]
2020-11-03	improved documentation of arguments command	Fabian Kunze
2020-11-02	Doc: added "Arguments" removing implicit arguments	Fabian Kunze
2020-11-02	[doc] attribute #[using]	Enrico Tassi
2020-10-30	Renaming numnotoption into number_modifier	Pierre Roux
2020-10-30	Renaming Numeral.v into Number.v	Pierre Roux
2020-10-27	Change a few nonterminal names in mlgs and update doc to match	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	Merge PR #11924: Add style for smallcaps.	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