Diffusion afp-devel f96cdc08e452

clarified check roots module;
f96cdc08e452
Actions

Tags

None

Subscribers

None

Description

clarified check roots module;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP05b5fea0d115: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPf96cdc08e452: clarified check roots module;.Fri, Apr 12, 10:27 AM

Changes (1)

Path

Size

tools/

afp_check_roots.scala

rAFPf96cdc08e452

tools/afp_check_roots.scala

Loading...