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? > _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
