HomeIsabelle/Phabricator

Remove diagnostic command 'print_dependencies'.