Diffusion afp-devel c34ca8a848b0

proper keys (amending 36cf00eeb9e4);
c34ca8a848b0
Actions

Tags

None

Subscribers

None

Description

proper keys (amending 36cf00eeb9e4);

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP6539b6f3e1cf: add separate Isabelle tool for metadata editing;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPc34ca8a848b0: proper keys (amending 36cf00eeb9e4);.Mon, Apr 15, 1:16 PM

Changes (1)

Path

Size

tools/

afp_submit.scala

rAFPc34ca8a848b0

tools/afp_submit.scala

Loading...