[isabelle-dev] print modes

[Lawrence Paulson]

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.
Larry

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?
>