Re: [isabelle] RC3 startup problem on Scientific Linux



On Sun, 20 May 2012, Bill Richter wrote:

I'm sorry, I didn't see any such option on

 http://isabelle.in.tum.de/website-Isabelle2012-RC3

It just says

# Download for 32-bit Linux
# Download for Mac OS X
# Download for Windows

This means you are running 64-bit Linux, and the JavaScript of the website displays the 64-bit option as a big green download button.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.