Diffusion Isabelle eb44cf7ae926

tuned -- Command_Line.tool is already part of Isabelle_Tool;
eb44cf7ae926
Actions

Tags

None

Subscribers

None

Description

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

Details

Provenance

Authored on

Parents

rISABELLEd5773922358d: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEeb44cf7ae926: tuned -- Command_Line.tool is already part of Isabelle_Tool;.Apr 4 2020, 7:30 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

build_polyml.scala

Tools/

profiling_report.scala

rISABELLEeb44cf7ae926

src/Pure/Admin/build_polyml.scala

Loading...

src/Pure/Tools/profiling_report.scala

Loading...