[isabelle] (no subject)


I have got Fedora recently installed and am trying to install Isabelle on it. I have downloaded Isabelle and Proof General in the compressed zip file onto my desktop. I then tried typing in the commands given under the 'Install' file into the terminal, but it does not seem to work.

I wonder if i should download anything else or could you give me advice on what i am doing wrong.


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