> Maybe this can be simplified further. The "slow" group in the main
> Isabelle repository is now rather pointless, even counterproductive.
> HOL-Proofs and its subsessions has become relatively fast compared to
> other bulky sessions.
>
> E.g. Isabelle/65f279853449 on 12 cores with 6 threads per
On Sat, 16 Apr 2016, Lars Hupel wrote:
* I have eliminated the last occurrence of ISABELLE_FULL_TEST in the
known Isabelle universe. Flyspeck_Tame used it to determine whether
full computations should be carried out. It does that now by default,
which takes about 7 hours (!) on a regular m