Parents and children of check-in [1f9d6f78b4]

2024-11-21
14:47
transition mkdocs -> myst Leaf check-in: 196dad0184 user: jboy tags: myst
2024-11-20
13:23
final version from 2024 Leaf check-in: 1f9d6f78b4 user: jboy tags: trunk
11:34
update shell.nix Leaf check-in: 780e283550 user: jboy tags: revise-for-2024
2022-05-23
15:09
move assignment 3 deadline due to holiday check-in: 219146746a user: jboy tags: trunk, final-2022