>> What remains are various benchmarks. We could move these sessions to
>> ~~/src/Benchmarks and omit that directory in ~~/ROOTS. Thus it can be
>> included on demand like this:
>>
>> isabelle build -d '~~/src/Benchmarks' -a
>>
>> or like this:
>>
>> isabelle build -D '~~/src/Benchmarks'
>>
> What remains are various benchmarks. We could move these sessions to
> ~~/src/Benchmarks and omit that directory in ~~/ROOTS. Thus it can be
> included on demand like this:
>
> isabelle build -d '~~/src/Benchmarks' -a
>
> or like this:
>
> isabelle build -D '~~/src/Benchmarks'
>
> This