Diffusion Isabelle b7351ffe0dbc

clarified signature: allow complex bash script;
b7351ffe0dbc
Actions

Tags

None

Subscribers

None

Description

clarified signature: allow complex bash script;

Details

Provenance

Authored on

Parents

rISABELLEdef95a34df8e: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb7351ffe0dbc: clarified signature: allow complex bash script;.Oct 10 2020, 9:45 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

build_csdp.scala

System/

rISABELLEb7351ffe0dbc

src/Pure/Admin/build_csdp.scala

Loading...

src/Pure/System/mingw.scala

Loading...