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

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.


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