[isabelle-dev] Printing from Isabelle/jedit

Tobias Nipkow nipkow at in.tum.de
Fri May 31 14:26:26 CEST 2019


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

PS Sorry for the copy to isabelle-users.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5581 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20190531/f162742c/attachment.bin>


More information about the isabelle-dev mailing list