Diffusion afp-devel 36cf00eeb9e4

moved web_app to distribution (see Isabelle/37ea0727291f);
36cf00eeb9e4
Actions

Tags

None

Subscribers

None

Description

moved web_app to distribution (see Isabelle/37ea0727291f);

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFPe95075447ef6: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP36cf00eeb9e4: moved web_app to distribution (see Isabelle/37ea0727291f);.Mar 30 2024, 1:13 AM

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

Changes (4)

Path

Size

etc/

afp_submit.scala

rAFP36cf00eeb9e4

etc/build.props

Loading...

tools/afp_submit.scala

Loading...

tools/web_app.scala

Loading...