Re: [isabelle] Isabelle2013-RC2 available for testing



Le Mon, 28 Jan 2013 18:01:13 +0100, Makarius <makarius at sketis.net> a écrit:
The main Isabelle2013-RC2 download page is http://isabelle.in.tum.de/website-Isabelle2013-RC2

I don't know if it's RC related or not, but the output format of the “print_locales” command, could be improved, displaying one element at a line instead of all elements in a flow. The actual output looks bulky in the output pan.


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