doc/common/styles/html/simple · coq · Tangled

Sign in Join now

coq stepbrobd.com /

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

forked from coq/coq

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

coq /doc /common /styles /html /simple

6 files

Matthieu Sozeau · Update header and footer, fix name in simple/header.html as well · 1y ago

Update copyright years outside of headers.

Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentation)

Update header and footer, fix name in simple/header.html as well

Ajout d'une feuille de style pour les définitions spécifiques à Hevea + divers corrections sur la génération du manuel de référence.

Put newlines at the end of files.

Rename PDF refman, and other occurrences of Coq RefMan.