Diffusion Isabelle eed4ca224c9c

clarified toml keys operations;
eed4ca224c9c
Actions

Tags

None

Subscribers

None

Description

clarified toml keys operations;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rISABELLEdad92daaf73a: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rISABELLEeed4ca224c9c: clarified toml keys operations;.Nov 18 2023, 7:23 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLEeed4ca224c9c

src/Pure/General/toml.scala

Loading...