HomeIsabelle/Phabricator

proper treatment of variable names;

Authored by makarius.