[isabelle] (no subject)



Hi,

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.

Rachel






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