HomeIsabelle/Phabricator

fix(afp/tools): removed TOML formatting heuristics for simplicity;

Description

fix(afp/tools): removed TOML formatting heuristics for simplicity;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFP88d0e6a26ce1: feat(afp/tools): added TOML module;
Branches
Unknown
Tags
Unknown