Diffusion afp-devel 12db4a7858c0

proper condition = ISABELLE_GOEXE, to make it work without "isabelle go_setup";
12db4a7858c0
Actions

Tags

None

Subscribers

None

Description

proper condition = ISABELLE_GOEXE, to make it work without "isabelle go_setup";

Details

Provenance

Authored on

Parents

rAFP0d5e63bc2b19: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP12db4a7858c0: proper condition = ISABELLE_GOEXE, to make it work without "isabelle go_setup";.Apr 3 2024, 11:31 AM

Changes (1)

Path

Size

thys/

Go/

rAFP12db4a7858c0

thys/Go/ROOT

Loading...