coq - The formal proof system

Age	Commit message (Expand)	Author
2021-04-22	Extend Canonical Structure documentation.	Jan-Oliver Kaiser
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-22	Adapting standard library, doc and test suite to ident->name renaming.	Hugo Herbelin
2020-11-18	Review commit: improving the doc of boolean attributes.	Théo Zimmermann
2020-11-18	[attributes] Deprecate `attr(true)` syntax in favor of booelan attributes.	Emilio Jesus Gallego Arias
2020-11-09	[refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.	Théo Zimmermann
2020-10-20	Add some missing smallcaps.	Théo Zimmermann
2020-06-08	Convert Ltac chapter to prodn	Jim Fehrle
2020-05-15	Fix typo.	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 Canonical structures from two origins.	Théo Zimmermann
2020-05-14	Move Canonical structures file into new location.	Théo Zimmermann
2020-05-14	Add Canonical structure declarations to Canonical structures file.	Théo Zimmermann