Diffusion Isabelle 3706b88035d2

more direct target directory;
3706b88035d2
Actions

Tags

None

Subscribers

None

Description

more direct target directory;

Details

Provenance

Authored on

Parents

rISABELLE83de6e9ae983: clarified signature: prefer Scala functions instead of shell scripts;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3706b88035d2: more direct target directory;.Nov 30 2022, 3:14 PM

Changes (8)

Path

Size

src/

Pure/

Admin/

build_csdp.scala

build_jdk.scala

build_minisat.scala

build_spass.scala

build_vampire.scala

build_verit.scala

System/

isabelle_system.scala

rISABELLE3706b88035d2

src/Pure/Admin/build_csdp.scala

Loading...

src/Pure/Admin/build_e.scala

Loading...

src/Pure/Admin/build_jdk.scala

Loading...

src/Pure/Admin/build_minisat.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/System/isabelle_system.scala

Loading...