Email Gateway (Aug 22 2022 at 17:17): Email Gateway (Aug 22 2022 at 17:17):From: 永不止步 <121171528@qq.com>
Windows 7 Flagship x64 Chinese Version
CPU is Intel i7 3.40G, just one core, 8G physical memory
I have increased heap memory to 4096M，when I import "$ISABELLE_HOME/src/HOL/Analysis/Analysis.thy" into a new theory file,
though it's very slow, but it doesn't get stuck and finishes importing.
When it loads my theory file, it still gets stuck and I find there are many heap memory not used,
like 1104/1956 displayed at the right-bottom of the window.
I think there should be some problem with my theory file, not the problem of the memory.
Anyway, I appreciate your reply. Thank you.
------------------ 原始邮件 ------------------
发件人: "Makarius"<makarius@sketis.net>;
发送时间: 2018年5月15日(星期二) 晚上10:55
收件人: "永不止步"<121171528@qq.com>;"cl-isabelle-users"<cl-isabelle-users@lists.cam.ac.uk>;
主题: Re: [isabelle] help about an Isabelle IDE problem
Last updated: Apr 25 2024 at 20:15 UTC