Diffusion Isabelle dad92daaf73a

tuned;
dad92daaf73a
Actions

Tags

None

Subscribers

None

Description

tuned;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rISABELLE6201057b98dd: clarified toml keys: more operations;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rISABELLEdad92daaf73a: tuned;.Sat, Nov 18, 7:22 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLEdad92daaf73a

src/Pure/General/toml.scala

Loading...