[isabelle] Isabelle error



Hi,

I am trying to open Isabelle in windows 8 and i get the following error:

*[line 1 of "$ISABELLE_HOME_USER/etc/preferences"] error: bad input*


*^*

Can you please tell me how to solve this error.

-- 
Thanks,
Irfan



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