Diffusion Isabelle c876e8c61843

prefer existing OCaml installation;
c876e8c61843
Actions

Tags

None

Subscribers

None

Description

prefer existing OCaml installation;

Details

Provenance

Authored on

Parents

rISABELLE91ede652d828: include arm64-linux;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc876e8c61843: prefer existing OCaml installation;.Oct 5 2021, 12:03 AM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLEc876e8c61843

src/Pure/Admin/isabelle_cronjob.scala

Loading...