[isabelle] is it right?

Dear  user:

  I am running Isabelle under Cygwin 1.7.

I installed it under  the instrustions form  http://isabelle.in.tum.de/installation.html

the following graph is a try of mine?

who can tell me are they correct about installing?

when I press button "Next", the  error message turns up.

thanks a lot!


Q.G.   XU

JPEG image

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