Diffusion afp-devel ab6bd130de92

proper symbolic handle on component resources (see Isabelle/3eb3de867786);
ab6bd130de92
Actions

Tags

None

Subscribers

None

Description

proper symbolic handle on component resources (see Isabelle/3eb3de867786);

Details

Provenance

Authored on

Parents

rAFP32cb23152334: more realistic timeout, based on CPU time;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPab6bd130de92: proper symbolic handle on component resources (see Isabelle/3eb3de867786);.Feb 3 2023, 2:30 PM

Changes (2)

Path

Size

admin/

components/

etc/

rAFPab6bd130de92

admin/components/afp

Loading...

etc/build.props

Loading...