4 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	9ba4d43270	Pseudocode mdbook plugin	2022-03-03 19:31:37 +01:00
Tony Garnock-Jones	7660b22d28	Inline SVG	2022-02-11 13:53:48 +01:00
Tony Garnock-Jones	82cbcee377	Ditaa-based diagrams	2022-02-11 13:43:39 +01:00
Tony Garnock-Jones	025fa5e373	Initial commit of manual	2022-02-10 13:36:29 +01:00