No description

Charlotte Van Petegem 2e82d58755 Remove TESTed from What is Dodona chapter and reorganize a bit ... It's a more technical subject, and it already has a heading in the technical description chapter		2023-11-24 14:08:09 +01:00
images	Import forgotten section from Dodona article	2023-11-24 14:07:22 +01:00
.dir-locals.el	Display plain links and enable visual line mode	2023-11-23 15:04:12 +01:00
.gitignore	Diffing tweaks	2023-10-25 13:36:11 +02:00
.gitlab-ci.yml	Set git fetch depth a lot higher in CI so that previously sent revision can always be found	2023-11-20 13:20:03 +01:00
.sent-revision	Sent latest revision	2023-11-20 13:20:47 +01:00
bibliography.bib	Start work on technical description	2023-11-23 17:46:15 +01:00
book.org	Remove TESTed from What is Dodona chapter and reorganize a bit	2023-11-24 14:08:09 +01:00
build.el	Don't specify font size, I'm using the default anyway	2023-11-21 15:00:05 +01:00
citation-style.csl	Switch to APA citation style	2023-11-21 16:00:19 +01:00
flake.lock	Update flake dependencies	2023-11-20 09:46:21 +01:00
flake.nix	Build PDFs in CI	2023-10-25 13:49:36 +02:00