[isabelle] Printing from Isabelle/jedit



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

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.