[isabelle-dev] Printing from Isabelle/jedit

Tobias Nipkow nipkow at in.tum.de
Fri May 31 19:48:06 CEST 2019

On 31/05/2019 19:34, Makarius wrote:
> On 31/05/2019 17:33, Makarius wrote:
>> On 31/05/2019 14:26, Tobias Nipkow wrote:
>>> In 8dd987397e31, when I try to print (Cmd-P) I get
>>> "An error occurred while trying to print: Invalid print service"
>> Over the years, I have occasionally seen such an error, but only rarely.
>> I don't see it now.
> For the record: I have tested this with a local USB printer on
>    * macOS 10.13.6 High Sierra
>    * macOS 10.14.5 Mojave
>    * Ubuntu 18.04.2
> It works fine, after making sure that the paper format is A4.

I don't understand. Where do I "make sure"?

> Ultimately this is a function of Java and jEdit interacting with the
> printer sub-system of the OS. This has always been a bit fragile.
> An alternative that bypasses all this is the Isabelle/jEdit action
> isabelle.preview or isabelle.draft (available in the menu Plugins /
> Isabelle as items "Show ... in browser").
> The browser can then be used for printing. I have just tried it and
> found other problems with macOS firing up Firefox properly, but after 3
> attempts it did work.

This alternative works for me, thanks.


> 	Makarius

-------------- 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/eaa86f2a/attachment-0001.bin>

More information about the isabelle-dev mailing list