On 10/05/18 00:10, Makarius wrote:
> On 10/03/18 11:06, Makarius wrote:
>> On 08/03/18 13:08, Makarius wrote:
>>>
Since David Matthews has make a lot of changes concerning fine-points of
heap management in the past few months, I would like to test it with
some Poly/ML repository
On 06/07/18 17:36, Tobias Nipkow wrote:
>
> On 06/07/2018 17:20, Lawrence Paulson wrote:
>>> On 4 Jul 2018, at 11:11, Blanchette, J.C. wrote:
>>>
I’m at home today so don’t have access to that file.
>>>
>>> Please send it to me once you have a chance.
>>
>> It seems that I did finally
On 06/07/2018 17:20, Lawrence Paulson wrote:
On 4 Jul 2018, at 11:11, Blanchette, J.C. wrote:
I’m at home today so don’t have access to that file.
Please send it to me once you have a chance.
It seems that I did finally succeed in getting the option set. My guess is that the
Mac app
> On 4 Jul 2018, at 11:11, Blanchette, J.C. wrote:
>
>> I’m at home today so don’t have access to that file.
>
> Please send it to me once you have a chance.
It seems that I did finally succeed in getting the option set. My guess is that
the Mac app doesn't necessarily save settings,
