coq - The formal proof system

Age	Commit message (Expand)	Author
2020-04-11	Merge PR #11961: Convert vernac commands chapter to prodn, update syntax	Théo Zimmermann
2020-04-10	Convert vernac commands chapter to prodn, update syntax	Jim Fehrle
2020-04-07	Support universe bindings and universe constraints in Let definitions.	Théo Zimmermann
2020-03-28	Remove SearchAbout command, deprecated in 8.5	Jim Fehrle
2020-03-25	Doc_grammar: Update cmd:: and tacn:: constructs in .rsts	Jim Fehrle
2020-03-25	Convert Gallina Extensions to use prodn	Jim Fehrle
2020-03-19	Update fullGrammar, common.edit_mlg and orderedGrammar...	Théo Zimmermann
2020-03-09	Remove some productionlists	Jim Fehrle
2020-02-28	Convert Gallina Vernac to use prodn	Jim Fehrle
2019-12-28	Convert productionlists to prodns	Jim Fehrle
2019-11-20	Update grammar in the Terms section of Gallina chapter	Jim Fehrle
2019-07-19	Introduce doc_gram, a utilty for extracting Coq's grammar from .mlg files	Jim Fehrle