Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] A problem met in using Isabelle

view this post on Zulip Email Gateway (Aug 22 2022 at 16:19):

From: 王淑灵 <wangsl@ios.ac.cn>
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

view this post on Zulip Email Gateway (Aug 22 2022 at 16:19):

From: Makarius <makarius@sketis.net>
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

Last updated: Apr 26 2024 at 04:17 UTC