coq/doc/common/styles/html/coqremote/sites, branch master The formal proof system Remove coqremote stylesheets which were useless since the Sphinx migration. 2020-04-20T15:16:29+00:00 Théo Zimmermann 2020-04-01T09:09:02+00:00 f952c8c45a51acf9155b81839db4f3d0ab6e7aa1 






Port ssr manual to Coq's latex/hevea style
2017-08-02T14:47:54+00:00

Enrico Tassi

2017-08-01T14:46:37+00:00

13dcab5b8f40058b7597e51a44207c0745eab9fd

Work done by Assia Mahboubi and Enrico Tassi





Work done by Assia Mahboubi and Enrico Tassi







Makefile.doc: implement serve-refman-8080 target
2017-08-02T14:47:54+00:00

Enrico Tassi

2017-07-03T14:44:21+00:00

8995d0857277019b54c24672439d3e19b2fcb5af

We make it so that, by default, the HTML reference manual looks
like the one published online (same .css) and we provide a target
to serve it locally (requires python).





We make it so that, by default, the HTML reference manual looks
like the one published online (same .css) and we provide a target
to serve it locally (requires python).