Diffusion Isabelle 33025e13dcdc

clarified command-line arguments: follow more recent isabelle build_XYZ;
33025e13dcdc
Actions

Tags

None

Subscribers

None

Description

clarified command-line arguments: follow more recent isabelle build_XYZ;

Details

Provenance

Authored on

Parents

rISABELLEeb294dd8e266: compile

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE33025e13dcdc: clarified command-line arguments: follow more recent isabelle build_XYZ;.Nov 24 2022, 2:22 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_cygwin.scala

rISABELLE33025e13dcdc

src/Pure/Admin/build_cygwin.scala

Loading...