coq - The formal proof system

Age	Commit message (Expand)	Author
2020-12-16	Add -q flag to coqrst python invocation of coqtop	Lasse Blaauwbroek
2020-06-06	Match only a single line as the coqtop prompt	Jim Fehrle
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-06-17	Update py-style headers to new year.	Théo Zimmermann
2019-05-21	Fixing typos - Part 1	JPR
2019-02-28	[sphinx] Add warn option to coqtop directive.	Théo Zimmermann
2019-02-20	Merge PR #9560: [coqlib] Remove `-boot` option for setting the coqlib	Enrico Tassi
2019-02-18	Sphinx: nicer error reporting	Gaëtan Gilbert
2019-02-14	[coqlib] Remove `-boot` option for setting the coqlib	Emilio Jesus Gallego Arias
2018-06-08	gitlab: build sphinx doc in separate job	Gaëtan Gilbert
2018-05-15	[doc] Search for 'coqtop' in $PATH if COQBIN is unset	Clément Pit-Claudel
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-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