Diffusion Isabelle e97fa2edf4b2

clarified signature;
e97fa2edf4b2
Actions

Tags

None

Subscribers

None

Description

clarified signature;

Details

Provenance

Authored on

Parents

rISABELLE90756ad4d8d7: more accurate treatment of surrounding whitespace;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe97fa2edf4b2: clarified signature;.Wed, Nov 8, 1:14 PM

Changes (4)

Path

Size

src/

Pure/

System/

benchmark.scala

Tools/

Tools/

jEdit/

src/

jedit_options.scala

rISABELLEe97fa2edf4b2

src/Pure/System/benchmark.scala

Loading...

src/Pure/System/options.scala

Loading...

src/Pure/Tools/build.scala

Loading...

src/Tools/jEdit/src/jedit_options.scala

Loading...