Diffusion afp-devel 681e992fb431

removed migration tools;
681e992fb431
Actions

Tags

None

Subscribers

None

Description

removed migration tools;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP73f40b87e288: follow naming conventions of Isabelle/2a99fcb283ee;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP681e992fb431: removed migration tools;.Aug 30 2023, 10:40 AM

Changes (7)

Path

Size

etc/

afp_migrate_metadata.scala

afp_obfuscate_emails.scala

public_suffix_list.dat

rAFP681e992fb431

etc/build.props

Loading...

tools/afp_tool.scala

Loading...

tools/migration/afp_migrate_metadata.scala

Loading...

tools/migration/afp_obfuscate_emails.scala

Loading...

tools/migration/public_suffix_list.dat

Loading...