[isabelle] A problem met in using Isabelle
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and