Email Gateway (Aug 22 2022 at 09:49): Email Gateway (Aug 22 2022 at 09:49):From: Makarius <makarius@sketis.net>
This is a consequence of a recent renovation and unification of print_xyz
functions.
It is a slightly odd historical artifact that simprocs can be declared to
the context, without being properly defined in the name space, so
print_simpset breaks down. For now it is possible to use:
print_simpset!
For the next release candidate I will make this more permissive.
Makarius
Last updated: Apr 25 2024 at 04:18 UTC