Re: [isabelle] is it right?



You are processing a very old (at least 3 years) Isabelle file. The
syntax has changed meanwhile. Hence the error message.
Your file is from my Isabelle course. Please use the latest version:
http://isabelle.in.tum.de/coursematerial/PSV2009-1/index.html

Regards
Tobias

许庆国 schrieb:
> 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!
> 
> 
> 
> 
> 2010-06-01 
> 
> 
> 
> Q.G.   XU
> 






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