Diffusion afp-devel b93b79b9240e

tuned formatting;
b93b79b9240e
Actions

Tags

None

Subscribers

None

Description

tuned formatting;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP01987db5d362: tuned: more uniform Isabelle style;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPb93b79b9240e: tuned formatting;.Mar 28 2024, 6:30 PM

Changes (5)

Path

Size

tools/

afp_dependencies.scala

afp_site_gen.scala

rAFPb93b79b9240e

tools/afp_dependencies.scala

Loading...

tools/afp_site_gen.scala

Loading...

tools/hugo.scala

Loading...

tools/metadata.scala

Loading...

tools/utils.scala

Loading...