coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-08	Convert 2nd part of rewriting chapter to prodn	Jim Fehrle
2020-12-30	Convert rewriting and proof-mode chapters to prodn	Jim Fehrle
2020-11-14	Move destructuring let syntax closer to its documentation.	Théo Zimmermann
2020-11-09	[refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.	Théo Zimmermann
2020-10-26	Merge PR #12768: Granting wish #12762: warning on duplicated catch-all patter...	coqbot-app[bot]
2020-10-20	Add some missing smallcaps.	Théo Zimmermann
2020-10-05	Documenting warning about unused variables in pattern clauses.	Hugo Herbelin
2020-09-11	[refman] Rename num to natural	Pierre Roux
2020-09-08	Update doc/sphinx/language/extensions/match.rst	Clément Blaudeau
2020-09-08	[Small typo] Update match.rst	Clément Blaudeau
2020-08-25	Convert ltac2 chapter to use prodn, update syntax	Jim Fehrle
2020-06-08	Convert Ltac chapter to prodn	Jim Fehrle
2020-05-14	Fix title level and a build failure.	Théo Zimmermann
2020-05-14	Add some markers of origin.	Théo Zimmermann
2020-05-14	Reintroduce leftover parts; update index files; small fixes.	Théo Zimmermann
2020-05-14	Merge doc on extended pattern matching from two origins.	Théo Zimmermann
2020-05-14	Move extended pattern matching to new location.	Théo Zimmermann
2020-05-13	Add section on pattern matching from Gallina ext.	Théo Zimmermann