On 03/05/18 15:34, Lawrence Paulson wrote:
>
> ISABELLE_BUILD_OPTIONS=""
>
> ML_PLATFORM="x86-darwin"
> ML_HOME="/Users/lp15/.isabelle/contrib/polyml-5.7.1-5/x86-darwin"
> ML_SYSTEM="polyml-5.7.1"
> ML_OPTIONS="-H 1000"
Lets try with ML_OPTIONS="--minheap 1500" (in
Larry
> On 3 May 2018, at 13:48, Makarius wrote:
>
> On 03/05/18 14:04, Lawrence Paulson wrote:
>>>
>>> What is your changeset id?
>>
>> ~/isabelle/Repos/src/HOL: hg id
>> 8dc792d440b9+ tip
>
> That is after my change 0acf3206a723. Did you see the problem in
>
On 03/05/18 14:04, Lawrence Paulson wrote:
>>
>> What is your changeset id?
>
> ~/isabelle/Repos/src/HOL: hg id
> 8dc792d440b9+ tip
That is after my change 0acf3206a723. Did you see the problem in
36209dfb981e, too?
>> What are the build options, e.g. the bottom of the output of "isabelle
>>
> On 3 May 2018, at 12:56, Makarius wrote:
>
> On 03/05/18 13:18, Lawrence Paulson wrote:
>> I'm encountering a strange phenomenon: the HOL build process runs for just
>> over two minutes (which is not long enough to complete) and then seems to
>> stop running, using 0.1%
On 03/05/18 13:18, Lawrence Paulson wrote:
> I'm encountering a strange phenomenon: the HOL build process runs for just
> over two minutes (which is not long enough to complete) and then seems to
> stop running, using 0.1% of the processor. I can repeat it and the same thing
> happens again.
I'm encountering a strange phenomenon: the HOL build process runs for just over
two minutes (which is not long enough to complete) and then seems to stop
running, using 0.1% of the processor. I can repeat it and the same thing
happens again. Today I was lucky on the third attempt. What could
We need to start thinking of the coming Isabelle2018.
Counting 10 months forwards from Isabelle2017, it should be published in
the first half of Aug-2018.
Counting 6 weeks backwards and taking FLoC/ITP into account,
Isabelle2018-RC1 should appear shortly before 01-Jul-2018.
I will probably