Re: [isabelle] syntax highlighting on stackoverflow



Le Wed, 13 Mar 2013 17:25:20 +0100, Makarius <makarius at sketis.net> a écrit:
So we are back at field one, where we've been 20 years ago: "Unicode is comming, really, believe me, it is there right now to solve all our math typesetting problems". Luckily the prover does not depend on Unicode at all.

How so?


--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.