Diffusion Isabelle af24c0dd6975

build Isabelle CSDP component from official downloads;
af24c0dd6975
Actions

Tags

None

Subscribers

None

Description

build Isabelle CSDP component from official downloads;

Details

Provenance

Authored on

Parents

rISABELLEc2b44fb3add4: rebuild component following current "isabelle build_e" and Admin/PLATFORMS;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEaf24c0dd6975: build Isabelle CSDP component from official downloads;.Oct 9 2020, 8:54 PM

Changes (7)

Path

Size

build_csdp.scala

System/

isabelle_system.scala

isabelle_tool.scala

rISABELLEaf24c0dd6975

src/Pure/Admin/build_csdp.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...

src/Pure/build-jars

Loading...