Diffusion Isabelle 65acbafc70e5

tuned;
65acbafc70e5
Actions

Tags

None

Subscribers

None

Description

tuned;

Details

Provenance

Authored on

Parents

rISABELLEf38153e58f21: proper Option.Spec.toString for bash script: avoid Token.quote_name of Options.

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE65acbafc70e5: tuned;.Tue, Nov 7, 12:06 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLE65acbafc70e5

src/Pure/System/options.scala

Loading...