Diffusion Isabelle 158790217aa9

more options to manage resolved components;
158790217aa9
Actions

Tags

None

Subscribers

None

Description

more options to manage resolved components;

Details

Provenance

Authored on

Parents

rISABELLEbe90af1e3254: proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE158790217aa9: more options to manage resolved components;.Jan 28 2023, 7:47 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

build_history.scala

isabelle_cronjob.scala

rISABELLE158790217aa9

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/isabelle_cronjob.scala

Loading...