On 07/06/18 15:22, Lars Hupel wrote:
>> Does this minimal approach make any sense, and solve the imminent
>> administrative problems? In particular without a decision yet about
>> ISABELLE_OCAML_VERSION vs. ISABELLE_OCAML / ISABELLE_OCAMLC?
>
> I tend to agree. Let's fix OCaml to 4.05.0 and we can
On 07/06/18 15:56, Tobias Nipkow wrote:
> I have recently (eg 6a0852b8e5a8) noticed the following behaviour,
> although it may be older:
>
> I start
>
> isabelle jedit Analysis.thy
>
> let it run for a little bit, then double-click on some of the early
> theories in the Theories panel (probably
On 23/06/18 19:16, Makarius wrote:
> On 22/06/18 16:33, Lars Hupel wrote:
>>
>> They fail spuriously (except for the last one, which fails reproducibly)
>> when running with a total of 64 or even 128 worker threads:
>>
>> None of this happens when using a total of just 32 worker threads.
>>
>> Maka
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 d