Merging corrections from dev branch#16

Open

gustavdelius wants to merge 5 commits intomainfrom

Commits on Aug 31, 2022

file path can lead to confusion as it is not the same as in the associated worksheet

Romain Forestier
authored and
Romain Forestier
committed
sim0 is never saved in this version of the course so it cannot be loaded just by copying the code there

Romain Forestier
authored and
Romain Forestier
committed
editing legend so it fits caption

Romain Forestier
authored and
Romain Forestier
committed

Commits on Nov 27, 2023