Re: [isabelle] A problem met in using Isabelle



On 26/10/17 06:47, 王淑灵 wrote:
> 
> 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?

It sounds like a resource problem, e.g. too little memory.

How much main memory do you have? What is your CPU? What is your Windows
version?


	Makarius




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