HomeIsabelle/Phabricator

simplified locale setup + replaced some definitions by abbreviations

Description

simplified locale setup + replaced some definitions by abbreviations

Details

Provenance
blanchetteAuthored on
Parents
rAFPfd511536d43d: rationalized locales
Branches
Unknown
Tags
Unknown