Changes In Branch trunk Excluding Merge-Ins
This is equivalent to a diff from 1f9d6f78b4 to 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 | |