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