Diffusion Isabelle c7e6a508a65b

build Isabelle component for Go: all platforms;
c7e6a508a65b
Actions

Tags

None

Subscribers

None

Description

build Isabelle component for Go: all platforms;

Details

Provenance

Authored on

Parents

rISABELLE90f4319c8b4f: misc tuning;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc7e6a508a65b: build Isabelle component for Go: all platforms;.Mar 24 2024, 5:49 PM

Changes (7)

Path

Size

etc/

component_go.scala

System/

components.scala

isabelle_tool.scala

rISABELLEc7e6a508a65b

etc/build.props

Loading...

src/Pure/Admin/component_go.scala

Loading...

src/Pure/System/components.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...