Re: [isabelle] Isabelle2013-2-RC2 available for testing



Le Sun, 01 Dec 2013 15:12:43 +0100, Makarius <makarius at sketis.net> a écrit:
It is already an
improvement that documentation is readily available at all, which was not
the case in the years before.

Yes! I was to thank for that too, but I forget. That's handy for seasoned users, so thanks.

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