8 events occurring on or after 2024-05-15 10:08:25.
2024-11-22
| ||
09:40 | fix publishing Leaf check-in: ca353c7f28 user: jboy tags: myst | |
2024-11-21
| ||
14:47 | transition mkdocs -> myst check-in: 196dad0184 user: jboy tags: myst | |
2024-11-20
| ||
17:02 | • Edit [f84164466c]: Add propagating "hidden". artifact: 25e90b2919 user: jboy | |
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 | |
2024-11-19
| ||
14:25 | • Added wiki page "todo" artifact: 243b4add87 user: jboy | |
2024-05-26
| ||
11:30 | correct assignment 3 due date check-in: 25335d965c user: jboy tags: revise-for-2024 | |
2024-05-15
| ||
10:08 | update week 6 lecture description and readings check-in: 49845e3e8e user: jboy tags: revise-for-2024 | |