Diffusion afp-devel c6645d183e9b

more realistic timeout: 50min CPU time;
c6645d183e9b
Actions

Tags

None

Subscribers

None

Description

more realistic timeout: 50min CPU time;

Details

Provenance

Authored on

Parents

rAFP1001c0dfced0: Minor changes to Finitely_Generated_Abelian_Groups, simplified and extended…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPc6645d183e9b: more realistic timeout: 50min CPU time;.Jul 15 2021, 11:31 PM

Changes (1)

Path

Size

thys/

MiniSail/

rAFPc6645d183e9b

thys/MiniSail/ROOT

Loading...