Tags and Properties for Check-in 94fc0f6fe0

Context
2023-04-12
19:21
update week 5 guest lecture info check-in: 94fc0f6fe0 user: jboy tags: revise-for-2023
2022-07-08
07:23
Create new branch named "revise-for-2023" check-in: df33a182fd user: jboy tags: revise-for-2023