[isabelle] Printing from Isabelle/jedit
- To: Isabelle Users <isabelle-users at cl.cam.ac.uk>
- Subject: [isabelle] Printing from Isabelle/jedit
- From: Tobias Nipkow <nipkow at in.tum.de>
- Date: Fri, 31 May 2019 14:25:18 +0200
- User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:60.0) Gecko/20100101 Thunderbird/60.7.0
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.
Description: S/MIME Cryptographic Signature
This archive was generated by a fusion of
Pipermail (Mailman edition) and