Commit graph

13 commits

Author SHA1 Message Date
Sergiu Ivanov
bfbc23c5f9 Retire the Fiche récapitulative.
Somewhat useless, especially given that I don't use this document as
an actual application.
2022-06-17 11:54:27 +02:00
Sergiu Ivanov
068a4b7955 Somewhat reorder the checklist for updates. 2021-10-17 18:39:17 +02:00
Sergiu Ivanov
26eb756089 Update my bibliography from DBLP. 2021-10-17 18:13:12 +02:00
Sergiu Ivanov
dba35b1b51 dossier-notes: Reference the scripts we are talking about. 2021-10-17 18:09:15 +02:00
Sergiu Ivanov
d11cd34ea9 Add and explain clean-rebuild. 2021-10-17 18:03:48 +02:00
Sergiu Ivanov
b235b16c13 Add internship to the roadmap for updating the dossier. 2021-05-10 12:13:08 +02:00
Sergiu Ivanov
69a6d50001 Slightly simplify the roadmap for updating the dossier. 2021-05-10 11:41:59 +02:00
Sergiu Ivanov
606af629c1 Add clean and the instructions to use it. 2021-05-10 11:19:08 +02:00
Sergiu Ivanov
a1703b47ef Add the checklist for updating my dossier. 2021-05-10 11:07:44 +02:00
Sergiu Ivanov
e1dd529134 Add explicit instructions for building in the command line. 2021-05-10 10:52:47 +02:00
Sergiu Ivanov
eedd5791af Say I don't use Shake any more. 2021-05-10 10:50:35 +02:00
Sergiu Ivanov
1c6ae33be8 dossier-notes: Completely rewrite, describing the typical workflow. 2020-05-31 17:17:02 +02:00
Sergiu Ivanov
4a44918589 Track dossier-notes.org. 2020-05-31 16:56:06 +02:00