coq/test-suite/coq-makefile/timing/precomputed-time-tests/003-non-utf8, branch master

Print a newline at the end of timing tables

2020-05-20T19:23:14+00:00

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.

Add memory stats to tables by default

2020-04-24T21:22:33+00:00

The Python scripts now support `--no-include-mem` to turn it off, and
also support `--sort-by-mem`.

Closes #11575

[tools] Remove support for python2

2020-01-03T11:00:04+00:00

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.

[pretty-timing scripts] Don't barf on non-utf-8

2019-03-31T18:09:06+00:00

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.