[isabelle-dev] print modes

Lawrence Paulson lp15 at cam.ac.uk
Fri May 11 09:19:02 CEST 2012

I disagree. People frequently e-mail problems to one another. Of course, the ability to paste readable Unicode symbols would be even better, but that's surely too much to ask right now.

On 11 May 2012, at 06:33, Christian Sternagel wrote:

> Currently only, copy-pasting examples from jedit into e-mails for the Isabelle mailing list ;). Not very convincing, is it?

More information about the isabelle-dev mailing list