Diffusion Isabelle 8f5be65a176b

clarified toml parser interface;
8f5be65a176b
Actions

Tags

None

Subscribers

None

Description

clarified toml parser interface;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rISABELLE769e850bb1d7: prefer symbolic build_history_base_arm;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rISABELLE8f5be65a176b: clarified toml parser interface;.Fri, Nov 17, 2:38 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE8f5be65a176b

src/Pure/General/toml.scala

Loading...