[isabelle] Unknown logic "HOL"



Hi,
I?ve installed Isabelle2013 on Windows. After started the system, I get the
message:

Unknown logic "HOL" -- no heap file found in:
  /cygdrive/d/Documents and
Settings/Paqui/.isabelle/Isabelle2013/heaps/polyml-5.5.0_x86-cygwin
  /cygdrive/c/Isabelle2013/heaps/polyml-5.5.0_x86-cygwin
Return code: 127

Could someone tell me what to do to fix this problem?

Thanks,
Paqui

---------------------------------------------------------------- 
Paqui Lucio                                
Dpto de Lenguajes y Sistemas Informáticos                  
Facultad de Informática 
Paseo Manuel de Lardizabal, 1 
20018-San Sebastián 
SPAIN 
----------------------------------------------------------------  
e-mail: paqui.lucio at ehu.es 
Tfn: (+34) (9)43 015049  
Fax: (+34) (9)43 015590 
Web: http://www.sc.ehu.es/paqui 
----------------------------------------------------------------






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