7 commits

Author	SHA1	Message	Date
Stefano Pigozzi	631a57177b	📔 Update a lot of things	2021-05-29 19:41:07 +02:00
Stefano Pigozzi	a8d7929653	📔 Close the glossary	2021-05-29 18:07:56 +02:00
Stefano Pigozzi	94f43c72e8	📔 Use future tense	2021-05-29 18:07:08 +02:00
Stefano Pigozzi	0fd7c6c194	📔 Improve typesetting in the goals page	2021-05-29 02:48:22 +02:00
Stefano Pigozzi	6c45ff0528	📔 Improve goals.rst	2021-05-29 02:32:50 +02:00
Stefano Pigozzi	546844b271	📔 Update stuff	2021-05-28 18:31:33 +02:00
Stefano Pigozzi	730ccb8c36	📔 Add missing docs	2021-05-28 14:28:36 +02:00