Authoring Content with Coq

Revisions

This revisions table has been automatically generated from the git history of this website repository, and the change descriptions may not always be as useful as they should.

You can consult the source of this file in its current version here.

2021-03-28 2021 Spring redesign 495f9db
2021-01-24 No more syntax highlighting 1e9ac81
2021-01-16 Tweak margins 0f9ba9f
2020-12-11 Link to Coq dependencies’ documentation 8c07ebb
2020-12-10 Add a Series on coqffi, and the first literate program of this blog 2706544
2020-10-09 Fix Coq source scrolling e17f19a
2020-10-09 Variablify the margin of a page 597145c
2020-09-23 Small CSS tweaks e62611f
2020-08-28 Minor theme tweakings f5c0497
2020-08-27 Simplify the theme b065628
2020-07-12 Various fixes here and there b85b9bc
2020-04-02 Refactor the build process to use cleopatra the Second 46b2e7a
2020-02-27 More theme tweaking 9a0fef2
2020-02-27 Use monokai-pro as the main theme and fix the CSS of Coq files 512e590
2020-02-27 Theme reloading 1a9268f
2020-02-26 Improving the end of the Bootstrapping cleopatra document af723a5
2020-02-26 Introduce a notion of dependency between generation processes 5945bc8
2020-02-23 Use font-display, use non-breaking spaces with URL mark 765ed55
2020-02-23 Try to improve the situation with overflowing source blocks af208a5
2020-02-23 Remove useless `sed' call in Coq file generation process 495b3ef
2020-02-23 Reworking cleopatra presentation 404d052
2020-02-23 Polish cleopatra aa6de8b
2020-02-22 Use `tangle-org.el' during bootstrap d50ee0c

Author Guidelines §

Under the Hood §

COQ_POSTS := $(shell find site/ -name "*.v")
COQ_HTML := $(COQ_POSTS:.v=.html)
COQ_ARTIFACTS := $(COQ_POSTS:.v=.vo) \
  $(COQ_POSTS:.v=.vok) \
  $(COQ_POSTS:.v=.vos) \
  $(COQ_POSTS:.v=.glob) \
  $(join $(dir ${COQ_POSTS}),$(addprefix ".",$(notdir $(COQ_POSTS:.v=.aux))))

coq-build : ${COQ_HTML}

soupault-build : coq-build

ARTIFACTS += ${COQ_ARTIFACTS} .lia.cache
ARTIFACTS += ${COQ_HTML}

COQLIB := "https://coq.inria.fr/distrib/current/stdlib/"
COQCARG := -async-proofs-cache force \
           -w -custom-entry-overriden
COQDOCARG := --no-index --charset utf8 --short \
             --body-only --coqlib "${COQLIB}" \
             --external "https://coq-community.org/coq-ext-lib/v0.11.2/" ExtLib \
             --external "https://compcert.org/doc/html" compcert \
             --external "https://lysxia.github.io/coq-simple-io" SimpleIO

%.html : %.v coq.mk _opam/init
	@cleopatra echo Exporting  "$*.v"
	@coqc ${COQCARG} $<
	@coqdoc ${COQDOCARG} -d $(shell dirname $<) $<
	@rm -f $(shell dirname $<)/coqdoc.css