coq/doc/tools/coqrst/notations, branch master The formal proof system Add additional escape sequences for notations 2020-11-09T23:59:54+00:00 Jim Fehrle 2020-09-09T09:07:44+00:00 7d8389d012aa8dbdeb7b82217087f1b7dfb2b24e 






Update headers in the whole code base.
2020-03-18T11:15:43+00:00

Théo Zimmermann

2020-03-18T11:14:26+00:00

a99776e10e0b2198d2b811ad82631111fb450f8a

Add headers to a few files which were missing them.





Add headers to a few files which were missing them.







Show apostrophes and backticks in HTML, too.
2020-02-16T21:17:20+00:00

Jim Fehrle

2020-02-16T21:17:20+00:00

8b58b887a95f0abfac16e8dc6f5e68f21e99ef31












[tools] Remove support for python2
2020-01-03T11:00:04+00:00

Emilio Jesus Gallego Arias

2019-12-05T22:44:58+00:00

aad86c49b55bbdaa916c10b84272bec5a2b6a678

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.





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.







Prevent apostrophes and backticks from being stylized in latex
2019-12-29T07:39:21+00:00

Jim Fehrle

2019-12-29T07:39:21+00:00

ae38bff8d499f4d2f82373b9c6dda1a27263d80c












Support additional escape sequences in notations
2019-12-19T19:17:34+00:00

Jim Fehrle

2019-12-19T05:56:08+00:00

e6067ab18983bd8b57af97688a852aaf2046b81f












Make prodn look more like productionlist
2019-12-15T04:14:07+00:00

Jim Fehrle

2019-12-04T20:26:04+00:00

c56492a0447abe230c177a3897707155fc06f1a4












Adapt change-header script to handle shebangs in addition to Emacs comments.
2019-06-17T16:08:32+00:00

Théo Zimmermann

2019-06-06T09:22:09+00:00

1a9c769ed363ee2f2784e7252af72e6c1e2fbcc6

Remove other types of lines before copyright headers.





Remove other types of lines before copyright headers.







Update py-style headers to new year.
2019-06-17T16:08:32+00:00

Théo Zimmermann

2019-06-06T09:22:08+00:00

7521031c01976b045f81b6123f9ee9be77122a55












Update c-style headers to new year.
2019-06-17T16:08:32+00:00

Théo Zimmermann

2019-06-06T09:22:08+00:00

bfc5a469f4be928d1f01ac2811719ef6aae0e338