coq/doc/common/styles/html/coqremote/modules/system, branch master The formal proof system Fixing typos - Part 1 2019-05-21T21:07:55+00:00 JPR 2019-05-21T21:07:55+00:00 e6322e23958a937fa01960f8ce320717b9863253 






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).