be5invis 7328f2ca07 **\[Breaking\]** Reordered variants for 0, 1		2022-02-12 22:09:51 -08:00
..
ligation-set.toml	Initial ligation support for Dafny (#1271)	2022-01-04 20:12:19 -08:00
parameters.toml	Add spacing grade quasi-proportional-extension-only.	2021-12-27 03:38:25 -08:00
shape-slope.toml	Add support for slope customization (#599, #1165).	2021-07-23 21:23:08 -07:00
shape-weight.toml	Make essRatio overridable	2021-10-29 21:43:13 -07:00
shape-width.toml	Revision	2021-04-16 22:25:30 -07:00
variants.toml	**\[Breaking\]** Reordered variants for 0, 1	2022-02-12 22:09:51 -08:00