Email Gateway (Aug 22 2022 at 17:13): Email Gateway (Aug 22 2022 at 17:13):From: 永不止步 <121171528@qq.com>
Dear all,
I'm a new user of Isabelle and I met a strange problem when I wrote theory files. The system always gets stuck when it processes some thy file, and there are no warnings, no errors. It seems the system is just not responding. CPU usage is about 40-50%, memory is about 1.5G-3G. I have tried windows64 version 2016-1 and 2017, there's the same problem. The following is the screeshot
The problem has confused me for a few days, I'll be very grateful if some experienced uses may kindly help me out.
Thank you very much!
Guo Fan
2018.5.8
A2DF918D@4A2B8D42.0904F15A.jpg.jpg
Last updated: Apr 24 2024 at 12:33 UTC