Fixes #219. Plastex has gone 2 months now without a new release, and this is actively hurting people using problemtools. Urging plastex to make a new release won't help fully either, because some people will still be stuck on the old plastex version, and it's not immediately clear that you need to python3 -m pip install --upgrade plastex.
Fixes #219. Plastex has gone 2 months now without a new release, and this is actively hurting people using problemtools. Urging plastex to make a new release won't help fully either, because some people will still be stuck on the old plastex version, and it's not immediately clear that you need to
python3 -m pip install --upgrade plastex
.