[isabelle-dev] 20 years of AFP

[Fabian Huch]

Not yet as we're still experimenting with it.

The first is the distribution, the second the AFP without slow sessions 
(which is what is run on the testboard), an the third the AFP with slow 
and very slow sessions.


Fabian

On 3/19/24 13:28, Lawrence Paulson wrote:
> Very impressive! Is this what the testboard uses now? And I can't quite figure out what these three runs represent.
>
> Larry
>
>> On 19 Mar 2024, at 12:21, Fabian Huch <huch at in.tum.de> wrote:
>>
>> Today marks 20 years of AFP -- to celebrate, here are a few timings with the new parallel build (Isabelle/08b83f91a1b2 and AFP/b61f72e5cba6):
>>