Diffusion Isabelle 606ae85b8c6b

clarified comments;
606ae85b8c6b
Actions

Tags

None

Subscribers

None

Description

clarified comments;

Details

Provenance

Authored on

Parents

rISABELLEf73c691bd679: clarified message;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE606ae85b8c6b: clarified comments;.Feb 27 2021, 1:01 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLE606ae85b8c6b

src/Pure/Tools/main.scala

Loading...