Changes

#2 (Jun 19, 2023, 10:19:04 AM)

1. Attempting to rename clocked. — Hans.Olsson / githubweb
2. Apply suggestions from code review — noreply / githubweb
3. Update chapters/synchronous.tex — noreply / githubweb
4. Cleanup — Hans.Olsson / githubweb