Diffusion afp-devel ed3bf7f7bedc

update usage instrucions
ed3bf7f7bedc
Actions

Tags

None

Subscribers

None

Description

update usage instrucions

Details

Provenance

Authored on

Parents

rAFP3a9c2004b599: more robust component setup for AFP/thys: support "isabelle components -u" and…

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFPed3bf7f7bedc: update usage instrucions.Jun 6 2021, 2:48 AM

Changes (2)

Path

Size

metadata/

templates/

web/

rAFPed3bf7f7bedc

metadata/templates/using.tpl

Loading...

web/using.html

Loading...