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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
