Diffusion Isabelle ba06861e91f9

proper services for Setup_Tool --- avoid hardwired stuff;
ba06861e91f9
Actions

Tags

None

Subscribers

None

Description

proper services for Setup_Tool --- avoid hardwired stuff;

Details

Provenance

Authored on

Parents

rISABELLEb0a46cf73aa4: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEba06861e91f9: proper services for Setup_Tool --- avoid hardwired stuff;.Mar 27 2024, 12:50 PM

Changes (7)

Path

Size

etc/

Admin/

build_history.scala

other_isabelle.scala

setup_tool.scala

rISABELLEba06861e91f9

etc/build.props

Loading...

src/Pure/Admin/build_history.scala

Loading...

src/Pure/System/other_isabelle.scala

Loading...

src/Pure/System/setup_tool.scala

Loading...