Email Gateway (Aug 22 2022 at 19:45): Email Gateway (Aug 22 2022 at 19:45):From: Tobias Nipkow <nipkow@in.tum.de>
In 8dd987397e31, when I try to print (Cmd-P) I get
"An error occurred while trying to print: Invalid print service"
It turns out that something is printed after all, but the first column is missing.
In Isabelle2018 it works for me. There it also prints line numbers, although
they are not shown in the buffer.
Tobias
smime.p7s
Last updated: Feb 01 2025 at 20:19 UTC