HomeIsabelle/Phabricator

more elementary command-line, following lib/Tools/components;