HomeIsabelle/Phabricator

improvements for toml module: proper boolean values;

Description

improvements for toml module: proper boolean values;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFP7b2fbe17e4f0: add components as proper afp deps;
Branches
Unknown
Tags
Unknown