Diffusion Isabelle b3fa6c79ed3b

clarified signature: cwd can be misleading --- changes meaning of target;
b3fa6c79ed3b
Actions

Tags

None

Subscribers

None

Description

clarified signature: cwd can be misleading --- changes meaning of target;

Details

Provenance

Authored on

Parents

rISABELLE8c32f0210a1a: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb3fa6c79ed3b: clarified signature: cwd can be misleading --- changes meaning of target;.Jun 6 2022, 4:06 PM

Changes (1)

Path

Size

src/

Pure/

System/

isabelle_system.scala

rISABELLEb3fa6c79ed3b

src/Pure/System/isabelle_system.scala

Loading...