Diffusion Isabelle f17be1db8381

Standard_Thread for isabelle command-line tools;
f17be1db8381
Actions

Tags

None

Subscribers

None

Description

Standard_Thread for isabelle command-line tools;

Details

Provenance

Authored on

Parents

rISABELLEeb44cf7ae926: tuned -- Command_Line.tool is already part of Isabelle_Tool;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf17be1db8381: Standard_Thread for isabelle command-line tools;.Apr 4 2020, 8:06 PM

Changes (1)

Path

Size

src/

Pure/

System/

command_line.scala

rISABELLEf17be1db8381

src/Pure/System/command_line.scala

Loading...