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