Commit graph

124 commits

Author SHA1 Message Date
Charlotte Van Petegem
4bd367b009
Remove student/teacher distinction from What is Dodona chapter 2023-11-16 14:11:57 +01:00
Charlotte Van Petegem
c2611cdae0
Add starting sentence 2023-11-16 14:11:28 +01:00
Charlotte Van Petegem
fde788e518
Update bibliography 2023-11-16 14:11:06 +01:00
Charlotte Van Petegem
cc8b196576
Update bibliography 2023-11-16 10:50:57 +01:00
Charlotte Van Petegem
d023e77c37
Fix generation of toc label 2023-11-16 10:50:44 +01:00
Charlotte Van Petegem
4952b45076
Use simple apostrophe's 2023-10-27 12:00:27 +02:00
Charlotte Van Petegem
4145ee53d7
Build tweaks 2023-10-26 11:57:33 +02:00
Charlotte Van Petegem
ef36710197
Make sure there is also a TOC in the HTML export 2023-10-26 11:27:55 +02:00
Charlotte Van Petegem
8681f9626b
Update flake dependencies 2023-10-26 11:26:39 +02:00
Charlotte Van Petegem
80fe2d528e
Assign forgotten CUSTOM_ID 2023-10-25 17:16:25 +02:00
Charlotte Van Petegem
ab0c672c1d
Remove frames 2023-10-25 17:10:09 +02:00
Charlotte Van Petegem
95462a14b5
Fix all overfull boxes and too large floats 2023-10-25 17:00:52 +02:00
Charlotte Van Petegem
5f708955dd
Build PDFs in CI 2023-10-25 13:49:36 +02:00
Charlotte Van Petegem
d4df76be2d
Diffing tweaks 2023-10-25 13:36:11 +02:00
Charlotte Van Petegem
79efa56f88
Sent latest revision 2023-10-25 13:19:07 +02:00
Charlotte Van Petegem
0a203a83c8
Diff build infra 2023-10-25 13:18:47 +02:00
Charlotte Van Petegem
ca7c5fbd67
Sent latest revision 2023-10-25 10:37:50 +02:00
Charlotte Van Petegem
d5df2c204f
Import Dodona article 2023-10-24 15:12:40 +02:00
Charlotte Van Petegem
094cb96756
Appendix for feature types 2023-10-23 18:26:52 +02:00
Charlotte Van Petegem
7cdc4dc8f2
Title page 2023-10-23 18:26:43 +02:00
Charlotte Van Petegem
eff3bb193e
Incorporate pass/fail article 2023-10-23 17:35:12 +02:00
Charlotte Van Petegem
a04ae3801b
Setup main document 2023-10-23 14:59:00 +02:00
Charlotte Van Petegem
ef0dfddd3c
Initial outline 2023-03-01 15:49:08 +01:00
Charlotte Van Petegem
1c8fba428c
Initial commit 2023-03-01 15:38:20 +01:00