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-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-09-27	Reduce nitpick_ignore list a little.	Théo Zimmermann
2020-08-06	Trying to rephrase complex sentences to make them easier to read.	Martin Bodin
2020-06-08	Convert Ltac chapter to prodn	Jim Fehrle
2020-05-14	Remove Canonical structures from Implicit arguments.	Théo Zimmermann
2020-05-01	Move essential vocabulary and syntax conventions to section on basics.	Théo Zimmermann
2020-04-26	Convert syntax extensions chapter to prodn	Jim Fehrle
2020-04-10	Convert vernac commands chapter to prodn, update syntax	Jim Fehrle
2020-04-03	Move section on implicit arguments in appropriate location (inside extensions).	Théo Zimmermann