HomeIsabelle/Phabricator

An attempt for an integrated solution for quick-and-dirty evaluation.