coq - The formal proof system

Age	Commit message (Expand)	Author
2018-05-15	[doc] Add a README to doc/sphinx/	Clément Pit-Claudel
2018-05-15	[doc] Document all directives and roles of our Sphinx domain	Clément Pit-Claudel
2018-05-15	[doc] Compute the path to coqdoc at run time, not at load time	Clément Pit-Claudel
2018-05-09	[sphinx] Warn for dangling tacn / cmd / opt / ... references.	Clément Pit-Claudel
2018-04-16	Merge PR #7251: doc: Rename UbuntuMono-Square to CoqNotations and tweak spacing	Maxime Dénès
2018-04-14	[Sphinx] Fix all remaining warnings.	Maxime Dénès
2018-04-14	doc: Rename UbuntuMono-Square to CoqNotations and tweak spacing	Clément Pit-Claudel
2018-04-14	[Sphinx] Add chapter 9.	Théo Zimmermann
2018-04-09	[Sphinx] Make it possible to espace { by %{ in custom grammars	Maxime Dénès
2018-03-16	[Sphinx] Better error message for coqtop errors	Maxime Dénès
2018-03-16	[Sphinx] Increase coqtop timeout to avoid spurious failures on CI	Maxime Dénès
2018-03-12	[Sphinx] Add a few grammar constructions	Maxime Dénès
2018-03-09	Moving Gitlab CI documentation build to the main Coq build.	Maxime Dénès
2018-03-09	Integration of a sphinx-based documentation generator.	Maxime Dénès
2017-08-01	[flags] Remove XML output flag.	Emilio Jesus Gallego Arias
2015-10-13	Fix some typos.	Guillaume Melquiond
2014-08-25	"allows to", like "allowing to", is improper	Jason Gross
2010-09-19	Hopefully a fix for #2176 (redirection not understood with some shells)	herbelin
2009-01-21	Fixed bug 2030 (bad syntax for "test" in doc compilation) [see 11824	herbelin
2009-01-19	Propriétés svn pour les filtres latex	notin
2009-01-18	Backporting from v8.2 to trunk:	herbelin
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin