coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-05-20	Print a newline at the end of timing tables	Jason Gross
	This, for example, improves the CI display, so that `$ echo 'end:coq.test'` does not appear on the same line as the end of the timing table.
2020-04-24	Add memory stats to tables by default	Jason Gross
	The Python scripts now support `--no-include-mem` to turn it off, and also support `--sort-by-mem`. Closes #11575
2020-01-03	[tools] Remove support for python2	Emilio Jesus Gallego Arias
	Closes #10491 We re-add the header in doc/tools/coqrst/notations/fontsupport.py which was removed by accident in 1a9c769ed363ee2f2784e7252af72e6c1e2fbcc6 The fontsupport script itself has been kept for reference, however it is not involved by any build target as of today.
2019-03-31	[pretty-timing scripts] Don't barf on non-utf-8	Jason Gross
	This fixes #9767 by silently ignoring input lines which are not valid UTF-8. We hereby assume that all file paths are valid UTF-8. We also now actually test both python2 and python3 on the CI.