[isabelle-dev] <-> and <-->

Tobias Nipkow nipkow at in.tum.de
Tue Apr 17 17:52:16 CEST 2012


Am 17/04/2012 16:27, schrieb Lawrence Paulson:
> I think you are right that ASCII syntax is almost completely irrelevant now. Hardly anybody sees it.

It is relevant as an input method, and that is exactly what my suggestion is
about. I am not interested in ASCII art but in a smooth input method. When I
type, I would prefer to keep on typing.

Tobias



More information about the isabelle-dev mailing list