Diffusion Isabelle 198697983eec

more robust dependencies for Pure;
198697983eec
Actions

Tags

None

Subscribers

None

Description

more robust dependencies for Pure;

Details

Provenance

Authored on

Parents

rISABELLEc42bf52381f1: proper compiler root for arm64;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE198697983eec: more robust dependencies for Pure;.Feb 5 2023, 1:57 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLE198697983eec

src/Pure/Tools/build.scala

Loading...