HomeIsabelle/Phabricator
Diffusion Isabelle a2d15ad6877a

run "isabelle components_build -u";
a2d15ad6877a
Actions

Description

run "isabelle components_build -u";

Details

Provenance
makariusAuthored on
Parents
rISABELLE38bbc2ff3c24: remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup";
Branches
Unknown
Tags
Unknown

Changes (1)

PathSize
Admin/
components/

rISABELLEa2d15ad6877a

View Options

Admin/components/components.sha1

Loading...