Re: [isabelle] Isabelle 2012 on Win7



Le Sun, 05 Aug 2012 15:25:36 +0200, Makarius <makarius at sketis.net> a écrit:

On Sat, 4 Aug 2012, Jens Doll wrote:

I now have a CygWin installation with the Isabelle2012 directory copied to it's root.

What do you mean by "the Isabelle2012 directory"?  Only the sources?


On the official Isabelle website the front-page has a big green download button for the fully integrated Isabelle bundle for your platform.

Just to tease, but that may be relevant too: the big download button doesn't look like a download button, and more looks like an illustrative picture. A workaround for that ergonomic issue, could be to add all download links below the picture/button, and to not remove the one corresponding to the platform which was detected. The download links hopefully looks like links.

Cheese :-D

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