Diffusion Isabelle 83de6e9ae983

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

Tags

None

Subscribers

None

Description

clarified signature: prefer Scala functions instead of shell scripts;

Details

Provenance

Authored on

Parents

rISABELLE8c94ca4dd035: A new Isabelle/CTT example, and eliminated some old-style quotation marks

Branches

Unknown

Tags

Unknown

Event Timeline

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

Changes (15)

Path

Size

src/

Pure/

Admin/

build_csdp.scala

build_jedit.scala

build_lipics.scala

build_minisat.scala

build_release.scala

build_scala.scala

build_spass.scala

build_vampire.scala

build_verit.scala

General/

mercurial.scala

System/

components.scala

isabelle_system.scala

Tools/

phabricator.scala

rISABELLE83de6e9ae983

src/Pure/Admin/build_csdp.scala

Loading...

src/Pure/Admin/build_e.scala

Loading...

src/Pure/Admin/build_jedit.scala

Loading...

src/Pure/Admin/build_lipics.scala

Loading...

src/Pure/Admin/build_minisat.scala

Loading...

src/Pure/Admin/build_release.scala

Loading...

src/Pure/Admin/build_scala.scala

Loading...

src/Pure/Admin/build_spass.scala

Loading...

src/Pure/Admin/build_vampire.scala

Loading...

src/Pure/Admin/build_verit.scala

Loading...

src/Pure/General/file.scala

Loading...

src/Pure/General/mercurial.scala

Loading...

src/Pure/System/components.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/Tools/phabricator.scala

Loading...