On 28/06/18 05:27, Makarius wrote:
> On 25/06/18 06:45, Rafal Kolanski wrote:
>>
>> While looking at Isabelle 2018, we have noticed that the ISABELLE_OUTPUT
>> environment variable functionality has been removed.
>
> This refers to
>
> changeset: 68219:c0341c0080e2
> user:wenzelm
>
On 25/06/18 06:45, Rafal Kolanski wrote:
>
> While looking at Isabelle 2018, we have noticed that the ISABELLE_OUTPUT
> environment variable functionality has been removed.
This refers to
changeset: 68219:c0341c0080e2
user:wenzelm
date:Sat May 19 15:45:45 2018 +0200