[isabelle] A problem met in using Isabelle



Dear all,

I am now using the new version of Isabelle/HOL in Windows and meet a problem. Whenever I write some now definition or add some code to current file, Isabelle hangs and stops compilation, and after a pretty long time, it then continuous to work. I have never met such problem before for the previous version of Isabelle/HOL. What should I do for solving this problem?

Thank you very much for your help.




Best regards,
Shuling Wang



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