Diffusion Isabelle a97d2b6b5c3e

tuned signature;
a97d2b6b5c3e
Actions

Tags

None

Subscribers

None

Description

tuned signature;

Details

Provenance

Authored on

Parents

rISABELLEdb99a70f8531: support hosts with shared directory (e.g. NFS);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa97d2b6b5c3e: tuned signature;.Aug 23 2023, 11:00 AM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLEa97d2b6b5c3e

src/Pure/Tools/build.scala

Loading...