Diffusion Isabelle b082476a8036

dynamic setup of Go component, similar to Dotnet;
b082476a8036
Actions

Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Mute Notifications
Award Token
Flag For Later

Description

dynamic setup of Go component, similar to Dotnet;

Details

Provenance

makarius

Authored on

Parents

rISABELLE6964a23f595a: tuned comments;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb082476a8036: dynamic setup of Go component, similar to Dotnet;.Mar 26 2024, 8:39 PM

Changes (14)

Path

Size

etc/

System/

	Tools/
	Admin/

	go_setup.scala
	component_go.scala

rISABELLEb082476a8036

View Options

etc/build.props

View Options

etc/settings

View Options

lib/Tools/go

View Options

lib/Tools/gofmt

View Options

src/Pure/Admin/component_go.scala

View Options

src/Pure/System/components.scala

View Options

src/Pure/System/isabelle_tool.scala

View Options

src/Pure/Tools/go_setup.scala

dynamic setup of Go component, similar to Dotnet;b082476a8036Actions

Description

Details

Event Timeline

Changes (14)

rISABELLEb082476a8036

etc/build.props

etc/settings

lib/Tools/go

lib/Tools/gofmt

src/Pure/Admin/component_go.scala

src/Pure/System/components.scala

src/Pure/System/isabelle_tool.scala

src/Pure/Tools/go_setup.scala

dynamic setup of Go component, similar to Dotnet;
b082476a8036
Actions