Dataclasses and Type Hints, and Voicemails for Isabelle

Dataclasses and Type Hints Yesterday I rewrote the Python version of tumblelog to use dataclasses. I also started to add type hints, which I finished today. I pushed version 6.2.0 of tumblelog to GitHub after thoroughly testing the new code. tumblelog Another update While testing tumblelog I came upon an issue with the calendar overview for 2026 : May and later had no entries. After some checking…