[isabelle-dev] Printing from Isabelle/jedit

Makarius makarius at sketis.net
Fri May 31 21:57:22 CEST 2019


On 31/05/2019 19:48, Tobias Nipkow wrote:
> 
>> It works fine, after making sure that the paper format is A4.
> 
> I don't understand. Where do I "make sure"?

In the printer dialog, but you said that you it does not show up at all.


	Makarius


More information about the isabelle-dev mailing list