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.” 
“Structured Programming supports the law of the excluded muddle.” 
: Epigrams on Programming — Alan J. — P. Yale University
This archive was generated by a fusion of
Pipermail (Mailman edition) and