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
This archive was generated by a fusion of
Pipermail (Mailman edition) and