Re: [isabelle-dev] Clarification on ISABELLE_OUTPUT env variable removal

2018-06-28 Thread Rafal Kolanski
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 >

Re: [isabelle-dev] Clarification on ISABELLE_OUTPUT env variable removal

2018-06-27 Thread Makarius
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

[isabelle-dev] Clarification on ISABELLE_OUTPUT env variable removal

2018-06-24 Thread Rafal Kolanski
Isabelle Developers, While looking at Isabelle 2018, we have noticed that the ISABELLE_OUTPUT environment variable functionality has been removed. We have previously used this functionality for the following scenarios: - networked home directory storing Isabelle settings, but heaps built on a