<html>
<head>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>I have also noted a few strange issues with the development
version (currently e50312982ba0) these last few days, but I have
not yet had the time to try to reproduce them.</p>
<p>Basically, what happens is that occasionally, the IDE "freezes"
in the sense that no new changes to the document are processed. I
can still view the output of all the processed commands, but there
is a certain position in the document underneath which all the
text is red, and it never because not red. If I change anything in
the text before that, it also becomes red forever.</p>
<p>It seems to me that this is particularly triggered by
non-terminating invocations of simp/auto/etc., even if I abort
them after a fraction of a second.</p>
<p>I don't think the 2018 release had this problem, but I could be
wrong.</p>
<p>If I find out any more precise details, I will let you know.<br>
</p>
<p>Manuel</p>
<p><br>
</p>
<div class="moz-cite-prefix">On 07/09/2018 17:39, Lawrence Paulson
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:7F502668-51E8-45EF-8DAF-25EFEFC6F89D@cam.ac.uk">
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
What do you suggest for these on a 16 GB machine? I attach my
file.<br class="">
<div class="">
Larry
</div>
<div><br class="">
<blockquote type="cite" class="">
<div class="">On 7 Sep 2018, at 15:01, Makarius <<a
href="mailto:makarius@sketis.net" class=""
moz-do-not-send="true">makarius@sketis.net</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class=""><span style="caret-color: rgb(0, 0, 0);
font-family: Consolas; font-size: 13px; font-style:
normal; font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
text-decoration: none; float: none; display: inline
!important;" class="">If you are using the 64-bit version
of Poly/ML, you should give both</span><br
style="caret-color: rgb(0, 0, 0); font-family: Consolas;
font-size: 13px; font-style: normal; font-variant-caps:
normal; font-weight: normal; letter-spacing: normal;
text-align: start; text-indent: 0px; text-transform: none;
white-space: normal; word-spacing: 0px;
-webkit-text-stroke-width: 0px; text-decoration: none;"
class="">
<span style="caret-color: rgb(0, 0, 0); font-family:
Consolas; font-size: 13px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
text-decoration: none; float: none; display: inline
!important;" class="">--minheap and --maxheap, otherwise
it tends to overcommit a lot of memory.</span><br
style="caret-color: rgb(0, 0, 0); font-family: Consolas;
font-size: 13px; font-style: normal; font-variant-caps:
normal; font-weight: normal; letter-spacing: normal;
text-align: start; text-indent: 0px; text-transform: none;
white-space: normal; word-spacing: 0px;
-webkit-text-stroke-width: 0px; text-decoration: none;"
class="">
</div>
</blockquote>
</div>
<br class="">
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
isabelle-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:isabelle-dev@in.tum.de">isabelle-dev@in.tum.de</a>
<a class="moz-txt-link-freetext" href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev</a>
</pre>
</blockquote>
</body>
</html>