Diffusion Isabelle fef0195f8d8e

clarified signature: prefer Scala functions instead of shell scripts;
fef0195f8d8e
Actions

Tags

None

Subscribers

None

Description

clarified signature: prefer Scala functions instead of shell scripts;

Details

Provenance

Authored on

Parents

rISABELLEd6ce50a092eb: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfef0195f8d8e: clarified signature: prefer Scala functions instead of shell scripts;.Nov 30 2022, 3:32 PM

Changes (3)

Path

Size

src/

Pure/

Admin/

build_sqlite.scala

build_zstd.scala

System/

isabelle_system.scala

rISABELLEfef0195f8d8e

src/Pure/Admin/build_sqlite.scala

Loading...

src/Pure/Admin/build_zstd.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...