Commit Graph

18 Commits

Author SHA1 Message Date
Sergiu Ivanov 70fb37c218 Remove the short CV from the dossier.
It really is inappropriate now, and I don't use it at all.
2023-06-30 18:00:55 +02:00
Sergiu Ivanov 52cf410fd3 Fold some headers at startup. 2023-04-17 22:41:15 +02:00
Sergiu Ivanov 29e8840280 Further update the references to sivanov-dblp.bib. 2023-04-17 21:19:56 +02:00
Sergiu Ivanov 2ba9b00552 Add a direct link to my DBLP page. 2023-04-17 20:56:50 +02:00
Sergiu Ivanov 821efeab66 Update the file name for my bibliography from DBLP. 2023-04-17 20:56:39 +02:00
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