coq - The formal proof system

Age	Commit message (Expand)	Author
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-09-30	Wf.v defines Fix_eq, not fix_eq.	Tanaka Akira
2020-09-11	[refman] Rename numeral to number	Pierre Roux
2020-08-09	Bring Float notations in line with stdlib	Jason Gross
2020-06-08	Convert Ltac chapter to prodn	Jim Fehrle
2020-05-19	[primitive floats] Add low level hexadecimal printing	Pierre Roux
2020-05-06	Keywords: Applying suggestions from Jim Fehrle and Théo Zimmermann.	Hugo Herbelin
2020-03-26	Print a warning when parsing non floating-point values.	Pierre Roux
2020-02-27	Fix #11696: link from refman to stdlib doc is dead.	Théo Zimmermann
2019-12-28	Convert productionlists to prodns	Jim Fehrle
2019-11-01	docs: Add refman+stdlib documentation	Erik Martin-Dorel
2019-07-28	Update documentation on tokens, use "int" and "num"	Jim Fehrle
2019-02-28	[sphinx] Add warn option to coqtop directive.	Théo Zimmermann
2019-02-18	Using options abort and restart of coqtop directive in the manual.	Théo Zimmermann
2019-02-12	Fix failing coqtops in coq-library.rst	Gaëtan Gilbert
2019-01-22	Remove unneeded \| in productionlists	Jim Fehrle
2018-11-30	Add indexes for coercion / substructure symbol :>.	Théo Zimmermann
2018-09-20	Rewrite "Flags, Options and Tables" section.	Jim Fehrle
2018-09-20	[doc] Include the rst and LaTeX preambles automatically in all files	Clément Pit-Claudel
2018-07-30	[sphinx] Use arguments of '.. example::' directive as a title	Clément Pit-Claudel
2018-07-19	Rewrote section 'Accessing the Type level' in the chapter 'The Coq library' o...	Zeimer
2018-07-19	Fixed some typos and grammar errors from section 'The language' of the Refere...	Zeimer
2018-07-17	Remove fourier plugin	Maxime Dénès
2018-05-26	Improve the section Terms of the Gallina chapter.	Théo Zimmermann
2018-04-14	[Sphinx] Fix all remaining warnings.	Maxime Dénès
2018-04-14	[sphinx] Fix many warnings.	Théo Zimmermann
2018-04-11	[sphinx] Remove migration artefacts.	Théo Zimmermann
2018-03-15	[Sphinx] Add chapter 3	Maxime Dénès
2018-03-15	[Sphinx] Move chapter 3 to new infrastructure	Maxime Dénès