Diffusion Isabelle fc13738e1933

clarified command-line, following other build_XYZ tools;
fc13738e1933
Actions

Tags

None

Subscribers

None

Description

clarified command-line, following other build_XYZ tools;

Details

Provenance

Authored on

Parents

rISABELLE460e7535df46: more recent OCaml and GHC stack: better support for Apple Silicon;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfc13738e1933: clarified command-line, following other build_XYZ tools;.Apr 28 2021, 1:03 PM

Changes (3)

Path

Size

Admin/

Release/

src/

Pure/

Admin/

build_release.scala

isabelle_devel.scala

rISABELLEfc13738e1933

Admin/Release/CHECKLIST

Loading...

src/Pure/Admin/build_release.scala

Loading...

src/Pure/Admin/isabelle_devel.scala

Loading...